Three men wade into the ocean shore.
The men are lying on beach towels.
The men cannot both wade into the ocean and be lying on beach towels.
exists e1 x1 x2 x3.(n_shore(x2) & of(x2,x3) & n_ocean(x3) & into(e1,x2) & Actor(e1,x1) & v_wade(e1) & n_man(x1) & card_eq_3(x1))
exists e1 x1 x2 x3.(n_man(x1) & on(e1,x2) & n_towel(x2) & of(x2,x3) & n_beach(x3) & Actor(e1,x1) & v_lie(e1))