A man in some sort of establishment, smiling while he is taking off or putting on glasses.
A man in an establishment of some sort is adjusting his glasses.
Taking off or putting on glasses does not imply he is adjusting them.
exists e1 p1 x1 x2 x3 x4.((exists e2 s1 x5.(a_off(s1) & Manner(e2,s1) & Theme(e2,x5) & Actor(e2,x1) & v_take(e2) & n_glass(x5)) | exists e3 x6.(on(e3,x6) & n_glass(x6) & Actor(e3,x1) & v_put(e3))) & n_male(x1) & while(e1,p1) & Actor(e1,x1) & v_smile(e1) & in(x1,x2) & of(x2,x4) & n_establishment(x4) & Time(x2,x3) & n_sort(x3) & n_thing(x2) & n_man(x1))
exists e1 x1 x2 x3 x4.(Theme(e1,x4) & Actor(e1,x1) & v_adjust(e1) & n_glass(x4) & of(x4,x1) & n_male(x1) & in(x1,x2) & of(x2,x3) & n_sort(x3) & n_establishment(x2) & n_man(x1))