Two dogs play in shallow water.
The dogs are flying in the air.
If the dogs are playing in shallow water, then they would not be flying in the air.
exists e1 s1 x1 x2.(in(e1,x2) & n_water(x2) & a_shallow(s1) & Theme(s1,x2) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_air(x2) & n_dog(x1) & in(e1,x2) & Actor(e1,x1) & v_fly(e1))