(<= (holds type ?inst ?cl) (and (holds subClassOf ?csub ?cl) (holds type ?inst ?csub)))