A woman wearing pearls is enjoying a glass of wine.
The woman does not drink spirits or wine.
Either the woman drinks wine or she does not drink spirits or wine.
exists e2 e1 x1 x2 x3 x4 x5.(Theme(e2,x4) & Actor(e2,x1) & v_enjoy(e2) & of(x4,x5) & n_wine(x5) & n_glass(x4) & Theme(e1,x3) & Actor(e1,x2) & v_wear(e1) & n_pearl(x3) & (x1 = x2) & n_woman(x1))
exists x1.(n_woman(x1) & -(exists e1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_drink(e1) & n_spirit(x2)) | exists e2 x3.(Theme(e2,x3) & Actor(e2,x1) & v_drink(e2) & n_wine(x3))))