A boat with people and their belongings is in the water.
The boat is moving across the surface of the water.
Not all boats with people in it are moving across the water.
exists p1 x1 x2 x3 x4 x5.(n_water(x5) & in(x1,x5) & with(x1,x2) & subset_of(x4,x2) & n_belongings(x4) & of(x4,x1) & n_thing(x1) & subset_of(x3,x2) & n_people(x3) & n_boat(x1))
exists e1 x1 x2 x3.(n_water(x3) & n_surface(x2) & n_boat(x1) & across(e1,x2) & of(x2,x3) & Actor(e1,x1) & v_move(e1))