An old man is wearing eyeglass.
The old mean is not wearing eyeglasses.
Totally opposite and contradictory statements in the old man not wearing eyeglasses as against old man wearing eyeglasses in first sentence.
exists e1 s1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_eyeglass(x2) & n_man(x1) & a_old(s1) & Theme(s1,x1))
exists s1 x1.(n_mean(x1) & a_old(s1) & Theme(s1,x1) & -exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & n_eyeglass(x2)))