Two children are climbing stairs which lead to an airplane.
Two children are climibing the stairs which lead to an attic.
The stairs that lead to an attic cannot lead to an airplane.
exists e2 e1 x1 x2 x3 x4.(Theme(e2,x2) & Actor(e2,x1) & v_climb(e2) & to(e1,x4) & n_airplane(x4) & Actor(e1,x3) & v_lead(e1) & (x2 = x3) & n_stair(x2) & n_child(x1) & card_eq_2(x1))
exists e2 e1 x1 x2 x3 x4.(n_stair(x2) & Theme(e2,x2) & Actor(e2,x1) & v_climibe(e2) & to(e1,x4) & n_attic(x4) & Actor(e1,x3) & v_lead(e1) & (x2 = x3) & n_child(x1) & card_eq_2(x1))