Three dogs play near the water.
Three dogs play on the stairs.
Dogs are either near the water or on the stairs but not both at the same time.
exists e1 x1 x2.(n_water(x2) & near(e1,x2) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & card_eq_3(x1))
exists e1 x1 x2.(n_stair(x2) & on(e1,x2) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & card_eq_3(x1))