A dog stands in a field with a tennis ball in his mouth.
The dog floats in the air with the birds.
It cannot be that the dog simultaneously stands and floats, and dogs do not float
exists e1 x1 x2 x3 x4 x5.(with(e1,x3) & in(x3,x5) & n_mouth(x5) & of(x5,x1) & n_male(x1) & n_ball(x3) & of(x3,x4) & n_tennis(x4) & in(e1,x2) & n_field(x2) & Actor(e1,x1) & v_stand(e1) & n_dog(x1))
exists e1 x1 x2 x3.(n_bird(x3) & n_air(x2) & n_dog(x1) & in(e1,x2) & with(x2,x3) & Actor(e1,x1) & v_float(e1))