Added rendering of subclassof axioms