Two women eating together and smiling.
Two men eating together and frowning.
Women are not men, and frowning is not the same action as smiling.
exists e2 e1 p1 x1 x2.(Actor(e2,x2) & v_smile(e2) & n_woman(x2) & card_eq_2(x2) & exists s1.(Theme(s1,x1) & a_together(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_eat(e1) & n_woman(x1) & card_eq_2(x1))
exists e2 e1 p1 x1 x2.(Actor(e2,x2) & v_frown(e2) & n_man(x2) & card_eq_2(x2) & exists s1.(Theme(s1,x1) & a_together(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_eat(e1) & n_man(x1) & card_eq_2(x1))