docs: public Set<OWLClassExpression> getNestedClassExpressions() {
          Set<OWLClassExpression> subConcepts = new HashSet<OWLClassExpression>();
          for (OWLAxiom ax : justification) {
              subConcepts.addAll(ax.getNestedClassExpressions());
          }
          return subConcepts;
      }