docs: public Set<Explanation<E>> getExplanations(E entailment) throws ExplanationException {
          try {
              return computePreciseJustsOptimised(entailment, Integer.MAX_VALUE);
          }
          catch (OWLException e) {
              throw new ExplanationException(e);
          }
      }