Shirtless men in matching clothing raise their hands into the air.
The men are dancing
Men that raise their hands are not necessarily dancing.
exists e2 e1 s1 x1 x2 x3 x4 x5.(n_air(x5) & into(e2,x5) & Theme(e2,x4) & Actor(e2,x1) & v_raise(e2) & n_hand(x4) & of(x4,x1) & n_thing(x1) & Theme(e1,x3) & Actor(e1,x2) & v_match(e1) & n_clothing(x3) & (x1 = x2) & n_man(x1) & a_shirtless(s1) & Theme(s1,x1))
exists e1 x1.(n_man(x1) & Actor(e1,x1) & v_dance(e1))