A woman lays at the bottom of a staircase exhausted, one of her shoes is on the bottom step.
Kathy took the elevator.
You cannot be at the staircase and elevator, you take one or the other.
exists e1 e2 p1 s1 x1 x2 x3 x4 x5 x6 x7.(n_step(x7) & a_bottom(s1) & Theme(s1,x7) & n_shoe(x6) & of(x6,x2) & n_female(x2) & n_bottom(x2) & on(x5,x7) & of(x5,x6) & n_thing(x5) & card_eq_1(x5) & at(e1,x2) & of(x2,x3) & Theme(e2,x4) & v_exhaust(e2) & (x3 = x4) & n_staircase(x3) & Actor(e1,x1) & v_lay(e1) & n_woman(x1))
exists e1 x1 x2.(n_elevator(x2) & ne_per_kathy(x1) & Theme(e1,x2) & Actor(e1,x1) & v_take(e1))