ObjectProperty(habs:belongsToPhylum super(habs:belongsToPhylumOrDivision) domain(habs:Class) range(habs:Phylum))