A woman smiles as she appears to be text messaging.
There is a smiling man.
woman  is not the same as man
exists e1 p1 x1.(exists e2 p2.(Topic(e2,p2) & Actor(e2,x1) & v_appear(e2) & exists p3 x2 x3.((x1 = x2) & n_messaging(x2) & of(x2,x3) & n_text(x3))) & n_female(x1) & as(e1,p1) & Actor(e1,x1) & v_smile(e1) & n_woman(x1))
exists p1 x1 e1 x2.((x1 = x2) & n_man(x2) & Actor(e1,x2) & v_smile(e1))