Two young men in a boat while one holds up a fish.
Two men are in a boat.
One of  the two men in the boat holds up a fish.
(x)
exists p1 x1.(exists x2.(in(x1,x2) & n_boat(x2)) & n_man(x1) & card_eq_2(x1))