(subClassOf ?subsub ?super)