A female swimmer comes up for air.
The swimmer is diving in the ocean.
Swimmer is either diving in the ocean or comes up for air.
exists e1 s1 s2 x1 x2.(for(e1,x2) & n_air(x2) & a_up(s2) & Manner(e1,s2) & Actor(e1,x1) & v_come(e1) & n_swimmer(x1) & a_female(s1) & Theme(s1,x1))
exists e1 x1 x2.(n_ocean(x2) & n_swimmer(x1) & in(e1,x2) & Actor(e1,x1) & v_dive(e1))