(subClassOf ?sub ?super)