docs: private static <E> int getOccurrences(OWLAxiom ax, Set<Explanation<E>> axiomSets) {
          int count = 0;
          for (Explanation<E> explanation : axiomSets) {
              if (explanation.getAxioms().contains(ax)) {
                  count++;
              }
          }
          return count;
      }