A man sitting on a green chair in an airport.
A man stands in line to board the airplane.
man cannot be sitting and waiting in line to board the airplane at the same time
exists e1 s1 x1 x2 x3 x4.(a_topic(x1) & in(e1,x4) & n_airport(x4) & on(e1,x3) & n_chair(x3) & a_green(s1) & Theme(s1,x3) & Actor(e1,x2) & v_sit(e1) & (x1 = x2) & n_man(x1))
exists e1 p1 x1 x2 x3 x4.(n_airplane(x4) & Topic(e1,p1) & exists e2.(Theme(e2,x4) & Actor(e2,x1) & v_board(e2)) & in(e1,x3) & n_line(x3) & Actor(e1,x2) & v_stand(e1) & n_man(x2) & n_man(x1))