Two surfers are exiting the ocean while some other people are wading the surf.
Two surfers are in the pacific ocean surfing.
Pacific ocean is not the only ocean where people can surf.
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 p1 s1 x1 x2 x3.(n_surfing(x2) & of(x2,x3) & n_ocean(x3) & a_pacific(s1) & Theme(s1,x2) & in(x1,x2) & n_surfer(x1) & card_eq_2(x1))