Two men is separate canoes are in an area full of lillypads.
Two men are boogie boarding in the surf.
They cannot be boogie boarding in canoes. They are not in the surf if they are in an area full of lillypads.
exists p1 p2 x1 x2.(exists s2 x4 x5 x6.(in(x1,x4) & of(s2,x6) & n_lillypad(x6) & Theme(s2,x5) & a_full(s2) & (x4 = x5) & n_area(x4)) & exists s1 x3.((x2 = x3) & n_canoe(x3) & a_separate(s1) & Theme(s1,x3)) & (x1 = x2) & n_man(x1) & card_eq_2(x1))
exists p1 x1 x2.(n_surf(x2) & in(p1,x2) & exists s1 x3.((x1 = x3) & n_boarding(x3) & a_boogie(s1) & Theme(s1,x3)) & n_man(x1) & card_eq_2(x1))