Two women are hiking in the wilderness.
There are two women in the living room.
The two women cannot be in the wilderness and the living room.
exists e1 x1 x2.(n_wilderness(x2) & in(e1,x2) & Actor(e1,x1) & v_hike(e1) & n_woman(x1) & card_eq_2(x1))
exists p1 x1 x2 x3.(n_room(x2) & of(x2,x3) & n_living(x3) & in(p1,x2) & exists x4.((x1 = x4) & n_woman(x4) & card_eq_2(x4)))