(subClassOf ?subsub ?sub)