One man is jumping into the water, while the other is watching.
Two men are by the water
Two men are in the water one if jumping.
exists e1 p1 x1 x2 x3.(n_other(x3) & n_water(x2) & exists e2.(Actor(e2,x3) & v_watch(e2)) & while(e1,p1) & into(e1,x2) & Actor(e1,x1) & v_jump(e1) & n_man(x1) & card_eq_1(x1))
exists p1 x1 x2.(n_water(x2) & by(x1,x2) & n_man(x1) & card_eq_2(x1))