Two dogs playing in the waves.
the dogs lost their owner
They cannot have lost their way if they are playing in the waves. Losing way means they are walking.
exists e1 x1 x2 x3.(n_wave(x3) & a_topic(x1) & in(e1,x3) & Actor(e1,x2) & v_play(e1) & (x1 = x2) & n_dog(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_owner(x2) & of(x2,x1) & n_thing(x1) & n_dog(x1) & Theme(e1,x2) & Actor(e1,x1) & v_lose(e1))