Three people are on a boat in the middle of the water while the sun is in the back.
The three people are fishing.
Not all people are fishing.
exists p1 p2 x1 x2 x3 x5 x6.(n_back(x6) & n_sun(x5) & n_water(x3) & n_middle(x2) & exists p3.in(x5,x6) & while(p1,p2) & in(p1,x2) & of(x2,x3) & exists x4.(on(x1,x4) & n_boat(x4)) & n_people(x1) & card_eq_3(x1))
exists p1 x1.(n_people(x1) & card_eq_3(x1) & exists x2.((x1 = x2) & n_fishing(x2)))