(<= (holds subClassOf ?subsub ?super) (and (holds subClassOf ?subsub ?sub) (holds subClassOf ?sub ?super)))