A red plane flying over a boat as it trails pink smoke.
a plane is flying over a ship in the water and the ship is blowing smoke.
The boat is not necessarily in the water and the ship is not necessarily blowing smoke.
exists e1 p1 s1 x1 x2 x3.(a_topic(x1) & exists e2 s2 x4.(Theme(e2,x4) & Actor(e2,x1) & v_trail(e2) & n_smoke(x4) & a_pink(s2) & Theme(s2,x4)) & n_thing(x1) & as(e1,p1) & over(e1,x3) & n_boat(x3) & Actor(e1,x2) & v_fly(e1) & (x1 = x2) & n_plane(x1) & a_red(s1) & Theme(s1,x1))
exists e1 e2 x1 x2 x3 x4.(n_water(x3) & Theme(e2,x4) & Actor(e2,x2) & v_blow(e2) & n_smoke(x4) & n_ship(x2) & n_ship(x2) & in(e1,x3) & over(e1,x2) & Actor(e1,x1) & v_fly(e1) & n_plane(x1))