A group of men are resting while at work
Guys are resting while at work while others have lunch.
group of men resting doesn't imply others have lunch
exists e1 x1 x2 x3.(at(e1,x3) & n_work(x3) & r_while(e1) & Actor(e1,x1) & v_rest(e1) & of(x1,x2) & n_man(x2) & n_group(x1))
exists e1 p1 x1 x2.(exists e2 x3 x4.(Theme(e2,x4) & Actor(e2,x3) & v_have(e2) & n_lunch(x4) & -(x3 = x1) & n_person(x3)) & n_person(x1) & while(e1,p1) & at(e1,x2) & n_work(x2) & r_while(e1) & Actor(e1,x1) & v_rest(e1) & n_guy(x1))