Two surfers are exiting the ocean while some other people are wading the surf.
Two surfers are exiting the ocean.
Exiting the ocean while other people are wading requires exiting the ocean.
exists e1 p1 x1 x2 x4 x5.(n_surf(x5) & n_people(x4) & n_ocean(x2) & exists e2 x3.(Theme(e2,x5) & Actor(e2,x3) & v_wade(e2) & -(x3 = x4) & n_people(x3)) & while(e1,p1) & Theme(e1,x2) & Actor(e1,x1) & v_exit(e1) & n_surfer(x1) & card_eq_2(x1))
exists e1 x1 x2.(n_ocean(x2) & Theme(e1,x2) & Actor(e1,x1) & v_exit(e1) & n_surfer(x1) & card_eq_2(x1))