docs: public Set<Explanation<OWLAxiom>> getExplanations(OWLAxiom entailment, int limit) throws ExplanationException {
  
          OWLDataFactory dataFactory = new OWLDataFactoryImpl();
  
          OPlusGenerator transformation = new OPlusGenerator(dataFactory, oplusSplitting);
          OWLOntologyManager man = OWLManager.createOWLOntologyManager();
  
          Set<OWLAxiom> oplusInput;
          if(modularityTreatment.equals(ModularityTreatment.MODULE)) {
              SyntacticLocalityModuleExtractor extractor = new SyntacticLocalityModuleExtractor(man, (OWLOntology) null, inputAxioms, ModuleType.STAR);
              oplusInput = extractor.extract(entailment.getSignature());
          }
          else {
              oplusInput = new HashSet<OWLAxiom>(inputAxioms);
          }
  
          Set<OWLAxiom> oplusAxioms = transformation.transform(oplusInput);
          ExplanationGenerator<OWLAxiom> gen = delegateFactory.createExplanationGenerator(oplusAxioms, new MediatingProgresssMonitor());
          Set<Explanation<OWLAxiom>> oplusExpls = gen.getExplanations(entailment);
  
  
          IsLaconicChecker checker = new IsLaconicChecker(dataFactory, entailmentCheckerFactory, LaconicCheckerMode.EARLY_TERMINATING);
          Set<Explanation<OWLAxiom>> laconicExplanations = new HashSet<Explanation<OWLAxiom>>();
  
          for (Explanation<OWLAxiom> expl : oplusExpls) {
              if (checker.isLaconic(expl)) {
                  laconicExplanations.add(expl);
              }
          }
  
          Set<Explanation<OWLAxiom>> reconstitutedLaconicExpls = getReconstitutedExplanations(dataFactory, transformation, laconicExplanations);
  
          removeWeakerExplanations(dataFactory, transformation, reconstitutedLaconicExpls);
  
          Set<Explanation<OWLAxiom>> progressMonitorExplanations = new HashSet<Explanation<OWLAxiom>>();
          for (Explanation<OWLAxiom> expl : reconstitutedLaconicExpls) {
              progressMonitorExplanations.add(expl);
              progressMonitor.foundExplanation(this, expl, progressMonitorExplanations);
          }
          return laconicExplanations;
  
      }