A man and a woman are coming down an escalator.
Two people take an elevator to the basement of their office.
They are either on an escalator, or in an elevator. It can't be both.
exists e1 s1 x1 x2 x3 x4.(n_escalator(x4) & Time(e1,x4) & a_down(s1) & Manner(e1,s1) & Actor(e1,x1) & v_come(e1) & subset_of(x3,x1) & n_woman(x3) & subset_of(x2,x1) & n_man(x2))
exists e1 x1 x2 x3 x4.(n_office(x4) & of(x4,x3) & n_thing(x3) & n_basement(x3) & Theme(e1,x2) & Actor(e1,x1) & v_take(e1) & to(x2,x3) & of(x3,x4) & n_elevator(x2) & n_people(x1) & card_eq_2(x1))