Five people waited in line while the man in the blue jacket paid the cashier.
The men in line are impatient.
The five people waiting in line may not be men nor impatient.
exists e1 p1 s1 x1 x2 x3 x4 x5.(n_cashier(x5) & n_jacket(x4) & a_blue(s1) & Theme(s1,x4) & n_man(x3) & exists e2.(Theme(e2,x5) & Actor(e2,x3) & v_pay(e2) & in(x3,x4)) & while(e1,p1) & in(e1,x2) & n_line(x2) & Actor(e1,x1) & v_wait(e1) & n_people(x1) & card_eq_5(x1))
exists s1 x1 x2.(n_man(x1) & Theme(s1,x1) & a_impatient(s1) & in(x1,x2) & n_line(x2))