A person wipes out in the water.
the person sailed the whole ocean without falling.
Someone can't at the same time wipe out in the water and sail the whole ocean.
exists e1 s1 x1 x2.(n_water(x2) & in(e1,x2) & a_out(s1) & Manner(e1,s1) & Actor(e1,x1) & v_wipe(e1) & n_person(x1))
exists e1 s1 x1 x2.(n_ocean(x2) & a_whole(s1) & Theme(s1,x2) & n_person(x1) & -exists e2.(manner(e1,e2) & Actor(e2,x1) & v_fall(e2)) & Theme(e1,x2) & Actor(e1,x1) & v_sail(e1))