Two men sitting in chairs while waiting.
Two chairs sitting in men while waiting.
Chairs cannot be sitting in men if the men are sitting in the chairs
exists e1 e2 x1 x2 x3.(a_topic(x1) & while(e1,e2) & Actor(e2,x2) & v_wait(e2) & in(e1,x3) & n_chair(x3) & Actor(e1,x2) & v_sit(e1) & (x1 = x2) & n_man(x1) & card_eq_2(x1))
exists e1 e2 x1 x2 x3.(a_topic(x1) & while(e1,e2) & Actor(e2,x2) & v_wait(e2) & in(e1,x3) & n_man(x3) & Actor(e1,x2) & v_sit(e1) & (x1 = x2) & n_chair(x1) & card_eq_2(x1))