Two women operate the doors at a hotel.
The women do not know how to open the doors.
The women either operate the doors or do not know how to operate the doors. These can't both be happening.
exists e1 x1 x2 x3.(n_door(x2) & at(e1,x3) & n_hotel(x3) & Theme(e1,x2) & Actor(e1,x1) & v_operate(e1) & n_woman(x1) & card_eq_2(x1))
exists x1 x4.(n_door(x4) & n_woman(x1) & -exists e1 x2.(Topic(e1,x2) & Actor(e1,x1) & v_know(e1) & n_manner(x2) & exists e2 x3.(Theme(e2,x4) & Actor(e2,x3) & v_open(e2))))