This boy is waving around his arms outside.
A boy is waving.
A boy is waving is  a rewording of '' this  boy is  waving.''
exists e1 s1 x1 x2.(n_arm(x2) & of(x2,x1) & n_male(x1) & n_boy(x1) & a_outside(s1) & Manner(e1,s1) & around(e1,x2) & Actor(e1,x1) & v_wave(e1))
exists e1 x1.(Actor(e1,x1) & v_wave(e1) & n_boy(x1))