Two women in coats look at a outdoor jewelry display.
The women are waiting to be seated at the restaurant.
The women are at an outdoor jewelry display and also at the restaurant, contradictory.
exists e1 s1 x1 x2 x3 x4.(at(e1,x3) & n_display(x3) & of(x3,x4) & n_jewelry(x4) & a_outdoor(s1) & Theme(s1,x3) & Actor(e1,x1) & v_look(e1) & in(x1,x2) & n_coat(x2) & n_woman(x1) & card_eq_2(x1))
exists e1 p1 x1 x2.(n_restaurant(x2) & n_woman(x1) & Topic(e1,p1) & Actor(e1,x1) & v_wait(e1) & exists e2.(at(e2,x2) & Theme(e2,x1) & v_seat(e2)))