A woman is smiling as she plays around with another woman.
Two men play together, as one smiles.
Two women is different than two men.
exists e1 p1 x1.(exists e2 s1 x2.(a_around(s1) & Manner(e2,s1) & with(e2,x2) & n_woman(x2) & -(x2 = x1) & Actor(e2,x1) & v_play(e2)) & n_woman(x1) & n_woman(x1) & n_female(x1) & as(e1,p1) & Actor(e1,x1) & v_smile(e1))
exists e1 p1 s1 x1.(exists e2 x2.(Actor(e2,x2) & v_smile(e2) & n_thing(x2) & card_eq_1(x2)) & as(e1,p1) & a_together(s1) & Manner(e1,s1) & Actor(e1,x1) & v_play(e1) & n_man(x1) & card_eq_2(x1))