code: public void loadAxioms(final Set<? extends Axiom> inclusions) {
          long start = System.currentTimeMillis();
          if(log.isInfoEnabled())
              log.info("Loading " + inclusions.size() + " axioms");
          Set<Inclusion> normInclusions = normalise(inclusions);
          if(log.isInfoEnabled()) log.info("Processing " + normInclusions.size() + " normalised axioms");
          Statistics.INSTANCE.setTime("normalisation", System.currentTimeMillis() - start);
          start = System.currentTimeMillis();
          for (Inclusion i : normInclusions) {
              addTerm(i.getNormalForm());
          }
          
          Statistics.INSTANCE.setTime("indexing", System.currentTimeMillis() - start);
      }
docs: Normalises and loads a set of axioms.
  
  @param inclusions