code: public Set<Explanation<E>> getExplanations(E entailment) throws ExplanationException {
          return getExplanations(entailment, Integer.MAX_VALUE);
      }
docs: ////////////////////////////////////////////////////////////////////////////////////////