Two men cleaning snow from a roof, one's in a lifter, while the other is actually on the roof.
the men are being paid.
The two men cleaning snow are not necessarily going to be paid.
exists e1 p1 p2 x1 x2 x3 x4 x5 x7.(n_other(x7) & exists p3 s1.(a_actually(s1) & Manner(p3,s1) & on(x7,x4)) & n_roof(x4) & n_roof(x4) & while(p1,p2) & exists x6.(in(x1,x6) & n_lifter(x6)) & from(e1,x4) & rel(x4,x5) & n_thing(x5) & card_eq_1(x5) & Theme(e1,x3) & Actor(e1,x2) & v_clean(e1) & n_snow(x3) & (x1 = x2) & n_man(x1) & card_eq_2(x1))
exists e1 x1.(n_man(x1) & Theme(e1,x1) & v_pay(e1))