A blue ski boat is on its trailer in the driveway with a person in the front of the boat.
the boat has sunk in the ocean
The boat can't be on it's trailer if it sunk.
exists p1 s1 x1 x2 x3 x4 x6.(n_front(x6) & n_driveway(x4) & exists x5.(on(x1,x3) & in(x3,x4) & with(x4,x5) & in(x5,x6) & of(x6,x1) & n_person(x5)) & n_boat(x1) & n_boat(x1) & n_trailer(x3) & of(x3,x1) & n_thing(x1) & of(x1,x2) & n_ski(x2) & a_blue(s1) & Theme(s1,x1))
exists e1 x1 x2.(n_ocean(x2) & n_boat(x1) & in(e1,x2) & Actor(e1,x1) & v_sink(e1))