Two people fishing by a boat on the dock.
The people are by the dock
You can not be on the dock and by the dock at the same time.
exists x1 x2 x3 x4 x5.(n_dock(x2) & a_topic(x4) & Time(x4,x5) & n_fishing(x5) & n_people(x4) & card_eq_2(x4) & by(x3,x1) & n_people(x3) & card_eq_2(x3) & on(x1,x2) & n_boat(x1))
exists p1 x1 x2.(n_dock(x2) & n_people(x1) & by(x1,x2))