A woman swims under the water.
A woman glides under the surface.
swims under the water and glides under the surface indicates the same activity.
exists e1 x1 x2.(n_water(x2) & under(e1,x2) & Actor(e1,x1) & v_swim(e1) & n_woman(x1))
exists e1 x1 x2.(n_surface(x2) & under(e1,x2) & Actor(e1,x1) & v_glide(e1) & n_woman(x1))