ElkReasoner.isSubclassOfhasPart reworked.