Two surfers are exiting the ocean while some other people are wading the surf.
Three surfers are drowning.
three surfers drowning can't be exiting the ocean or wading the surf at the same time
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.(Actor(e1,x1) & v_drown(e1) & n_surfer(x1) & card_eq_3(x1))