The man in the yellow pants is raising his arms.
The man is stretching.
Raising his arms does not imply that the man is stretching.
exists e1 s1 x1 x2 x3.(n_arm(x3) & of(x3,x1) & n_male(x1) & n_pants(x2) & a_yellow(s1) & Theme(s1,x2) & n_man(x1) & Theme(e1,x3) & Actor(e1,x1) & v_raise(e1) & in(x1,x2))
exists e1 x1.(n_man(x1) & Actor(e1,x1) & v_stretch(e1))