code: public Set<Explanation<OWLAxiom>> getExplanations(OWLAxiom entailment) throws ExplanationException {
          return getExplanations(entailment, Integer.MAX_VALUE);
      }
docs: Gets explanations for an entailment.  All explanations for the entailment will be returned.
  @param entailment The entailment for which explanations will be generated.
  @return A set containing all of the explanations.  The set will be empty if the entailment does not hold.
  @throws org.semanticweb.owl.explanation.api.ExplanationException
  if there was a problem generating the explanation.