A swan is flying above water.
a swan is flying
A swan flying above the water means the swan is flying.
exists e1 x1 x2.(above(e1,x2) & n_water(x2) & Actor(e1,x1) & v_fly(e1) & n_swan(x1))
exists e1 x1.(Actor(e1,x1) & v_fly(e1) & n_swan(x1))