Two people are talking at an art gallery.
The two people at the art gallery are ignoring each other.
People are either talking or ignoring each other.
exists e1 x1 x2 x3.(at(e1,x2) & n_gallery(x2) & of(x2,x3) & n_art(x3) & Actor(e1,x1) & v_talk(e1) & n_people(x1) & card_eq_2(x1))
exists x1 x2 x3.(n_gallery(x2) & of(x2,x3) & n_art(x3) & n_people(x1) & card_eq_2(x1) & all x4.(n_other(x4) -> exists e1.(Theme(e1,x4) & Actor(e1,x1) & v_ignore(e1))) & at(x1,x2))