Three men wade into the ocean shore.
The men are wearing speedos.
Just because the three me wade into the ocean shore does not mean they were wearing speedos.
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.(n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_speedo(x2))