The Wine Shop
The Wine shop does not sell alcohol or wine
A "wine shop," by nature, sells what is in its name.  It cannot be a wine shop if it does not sell wine.
exists s1 x1.(ne_org_shop(s1) & (s1 = x1) & ne_org_wine(x1) & a_topic(s1))
exists x1 x2.(n_shop(x1) & (x1 = x2) & ne_nam_wine(x2) & -exists e1 x3.(Theme(e1,x3) & Actor(e1,x1) & v_sell(e1) & (n_alcohol(x3) | n_wine(x3))))