Two dogs playing in water on the beach
The dogs are at the pool.
The dogs can't be on the beach and at the pool at the same time.
exists e1 x1 x2 x3 x4.(n_beach(x4) & a_topic(x1) & on(e1,x4) & in(e1,x3) & n_water(x3) & Actor(e1,x2) & v_play(e1) & (x1 = x2) & n_dog(x1) & card_eq_2(x1))
exists p1 x1 x2.(n_pool(x2) & n_dog(x1) & at(x1,x2))