Two dogs carry one object while wading in the ocean.
two dogs playing on the beach
Wading in the ocean does not imply playing on the beach.
exists e2 e1 x1 x2 x3.(n_ocean(x3) & while(e1,e2) & in(e2,x3) & Actor(e2,x1) & v_wade(e2) & Theme(e1,x2) & Actor(e1,x1) & v_carry(e1) & n_object(x2) & card_eq_1(x2) & n_dog(x1) & card_eq_2(x1))
exists e1 x1 x2 x3.(n_beach(x3) & a_topic(x1) & on(e1,x3) & Actor(e1,x2) & v_play(e1) & (x1 = x2) & n_dog(x1) & card_eq_2(x1))