(You’ll have your own favorites along these lines)
In an airport at the foot of an escalator
- Must I carry a dog?
- What about the shoes I just bought that are still in my shopping bag?
?x? (OnEscalator(x)? ?y?(PairOfShoes(y)? IsWearing(x,y))?x? ((OnEscalator(x)? IsDog(x)) ? IsCarried(x)