A dog in a blue sweater leaps while holding an object in its mouth.
The dog is playing with the cat in the yard.
The dog would not be leaping with an object if it were busy playing with the cat.
(x)
exists e1 x1 x2 x3.(n_yard(x3) & n_cat(x2) & n_dog(x1) & in(e1,x3) & with(e1,x2) & Actor(e1,x1) & v_play(e1))