A swimmer comes up above the surface of the water for air.
The swimmers comes to the surface
stating the swimmer comes up above is the same thing as saying he comes to the surface because he is still coming to the surface
exists e1 s1 x1 x2 x3 x4.(n_water(x3) & n_surface(x2) & for(e1,x4) & n_air(x4) & above(e1,x2) & of(x2,x3) & a_up(s1) & Manner(e1,s1) & Actor(e1,x1) & v_come(e1) & n_swimmer(x1))
exists e1 x1 x2.(n_surface(x2) & n_swimmer(x1) & to(e1,x2) & Actor(e1,x1) & v_come(e1))