Two men, one in a suit jacket and the other in a sweatshirt, are talking at a party.
Two men ignore each other at a funeral.
To ignore is not the same as talking to someone and a funeral is not a party.
exists e1 x1 x2 x3 x4 x5 x6 x7 x8.(n_other(x6) & at(e1,x8) & n_party(x8) & Actor(e1,x1) & v_talk(e1) & rel(x1,x2) & subset_of(x6,x2) & in(x6,x7) & n_sweatshirt(x7) & subset_of(x3,x2) & in(x3,x4) & n_jacket(x4) & of(x4,x5) & n_suit(x5) & n_thing(x3) & card_eq_1(x3) & n_man(x1) & card_eq_2(x1))
exists x1.(all x2.(n_other(x2) -> exists e1 x3.(at(e1,x3) & n_funeral(x3) & Theme(e1,x2) & Actor(e1,x1) & v_ignore(e1))) & n_man(x1) & card_eq_2(x1))