Two teenagers are staring across a table.
One of the teenagers is looking to the left and the other to the right.
If one is looking to the left and the other to the right then they could not be staring across the table.
exists e1 x1 x2.(across(e1,x2) & n_table(x2) & Actor(e1,x1) & v_stare(e1) & n_teenager(x1) & card_eq_2(x1))
exists e1 x1 x2 x3 x4 x5 x6.(n_right(x6) & n_other(x5) & n_left(x4) & n_teenager(x2) & to(e1,x6) & to(e1,x3) & subset_of(x5,x3) & subset_of(x4,x3) & Actor(e1,x1) & v_look(e1) & of(x1,x2) & n_thing(x1) & card_eq_1(x1))