A boat with people and their belongings is in the water.
The boat is on top the people in the water.
The boat can't be carrying people and be capsized at the same time.
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 p1 s1 x1 x2 x3.(n_water(x2) & n_people(x3) & n_boat(x1) & for(p1,s1) & Theme(s1,x1) & a_top(s1) & in(p1,x2) & on(x1,x3))