docs: public static ExplanationGeneratorFactory<OWLAxiom> createExplanationGeneratorFactory(OWLReasonerFactory reasonerFactory, ExplanationProgressMonitor<OWLAxiom> progressMonitor) {
          EntailmentCheckerFactory<OWLAxiom> checker = new SatisfiabilityEntailmentCheckerFactory(reasonerFactory);
          Configuration<OWLAxiom> config = new Configuration<OWLAxiom>(checker, progressMonitor);
          return new BlackBoxExplanationGeneratorFactory<OWLAxiom>(config);
      }