Two dogs playing in water on the beach
Two dogs are swimming.
Just because dogs are playing in water doesn't necessarily mean they are swimming.
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 e1 x1.(Actor(e1,x1) & v_swim(e1) & n_dog(x1) & card_eq_2(x1))