A man wearing glasses looks down and smiles.
The man in glasses is smiling at something.
Looks down implies thoughtfulness, but to say at something might mean that the smile is directed at an object.
exists e3 e4 e1 e2 p1 x1 x2 x3 x4 x5 x6.(Actor(e4,x4) & v_smile(e4) & Theme(e3,x6) & Actor(e3,x5) & v_wear(e3) & n_glass(x6) & (x4 = x5) & n_man(x4) & exists s1.(Theme(s1,x1) & a_down(s1)) & Topic(e2,p1) & Actor(e2,x1) & v_look(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_glass(x3) & (x1 = x2) & n_man(x1))
exists e1 x1 x2 x3.(n_man(x1) & at(e1,x3) & n_thing(x3) & Actor(e1,x1) & v_smile(e1) & in(x1,x2) & n_glass(x2))