Two dogs in the water.
The two dogs are flying over water.
Either the dogs are in the water or they are flying over the water. It cannot be both.
exists x1 x2.(n_water(x2) & a_topic(x1) & in(x1,x2) & n_dog(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_dog(x1) & card_eq_2(x1) & over(e1,x2) & n_water(x2) & Actor(e1,x1) & v_fly(e1))