Add WordNet verification for subClassOf properties and existencial restrictions instead of range/domain