Fixing a bug caused by an infinite loop in :MedicalTherapy rdfs:subClassOf ?X. Thanks to Jos who discovered this.