A man in black clothes is waiting to cross the street.
The man is in the waiting room.
One cannot be waiting to cross the street and in the waiting room.
exists e1 p1 s1 x1 x2 x3.(n_street(x3) & Topic(e1,p1) & Actor(e1,x1) & v_wait(e1) & exists e2.(Theme(e2,x3) & Actor(e2,x1) & v_cross(e2)) & in(x1,x2) & n_clothes(x2) & a_black(s1) & Theme(s1,x2) & n_man(x1))
exists p1 x1 x2 x3.(n_room(x2) & of(x2,x3) & n_waiting(x3) & n_man(x1) & in(x1,x2))