Two dogs are jumping on an empty beach with waves.
Two dogs are jumping in the forest.
Dogs cannot be on an empty beach and also in the forest at the same time.
exists e1 s1 x1 x2 x3.(with(e1,x3) & n_wave(x3) & on(e1,x2) & n_beach(x2) & a_empty(s1) & Theme(s1,x2) & Actor(e1,x1) & v_jump(e1) & n_dog(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_forest(x2) & in(e1,x2) & Actor(e1,x1) & v_jump(e1) & n_dog(x1) & card_eq_2(x1))