A redheaded man smokes a cigarette while leaning his head forward.
A man is at the laundromat smoking a cigarette while he waits for his laundry to finish.
A redheaded man smoking a cigarette leaning his head forward doesn't mean he is at laundromat
exists e1 e2 s1 s2 x1 x2 x3.(while(e1,e2) & a_forward(s2) & Manner(e2,s2) & Theme(e2,x3) & Actor(e2,x1) & v_lean(e2) & n_head(x3) & of(x3,x1) & n_male(x1) & Theme(e1,x2) & Actor(e1,x1) & v_smoke(e1) & n_cigarette(x2) & n_man(x1) & a_redheaded(s1) & Theme(s1,x1))
exists p1 x1 x2 x5.(n_laundry(x5) & of(x5,x2) & n_male(x2) & n_male(x2) & n_laundromat(x2) & exists e1 p2 x3 x4.(at(x1,x2) & exists e2 p3.(for(e2,x5) & Topic(x5,p3) & exists e3.(Actor(e3,x5) & v_finish(e3)) & Actor(e2,x2) & v_wait(e2)) & while(e1,p2) & Theme(e1,x4) & Actor(e1,x3) & v_smoke(e1) & n_cigarette(x4) & (x2 = x3)) & n_man(x1))