Two men wearing swimming trunks jump in the air while on the beach.
People are happy to be at the beach.
The men at the beach are not imply to be happy.
exists e1 e2 x1 x2 x3 x4 x5 x6.(n_beach(x6) & n_air(x5) & on(e2,x6) & r_while(e2) & in(e2,x5) & Actor(e2,x1) & v_jump(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_trunk(x3) & of(x3,x4) & n_swimming(x4) & (x1 = x2) & n_man(x1) & card_eq_2(x1))
exists p1 s1 x1 x2.(n_beach(x2) & Topic(s1,p1) & Actor(s1,x1) & a_happy(s1) & exists p2.at(x1,x2) & n_people(x1))