Add #subClass and subClass entailment.