A man wearing glasses is staring off into space.
A man sees for the first time after getting his new glasses.
Staring off into space does not imply the man sees for the first time after getting new glasses.
exists e1 e2 s1 x1 x2 x3 x4.(a_off(s1) & Manner(e2,s1) & into(e2,x4) & n_space(x4) & Actor(e2,x1) & v_stare(e2) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_glass(x3) & (x1 = x2) & n_man(x1))
exists e1 e2 s1 s2 x1 x2 x3 x4 x5.(n_glass(x5) & a_new(s2) & Theme(s2,x5) & of(x5,x3) & n_male(x3) & n_time(x3) & a_first(s1) & Theme(s1,x3) & for(e1,x3) & Theme(e2,x5) & Actor(e2,x4) & v_get(e2) & (x3 = x4) & Theme(e1,x2) & Actor(e1,x1) & v_see(e1) & n_thing(x2) & n_man(x1))