Simplify subClass/subProperty entailment.