docs: private OWLNamedIndividual assignName(OWLIndividual individual) {
          OWLNamedIndividual freshIndividual = getFreshIndividual();
          Set<OWLIndividual> individuals = new HashSet<OWLIndividual>();
          individuals.add(individual);
          individuals.add(freshIndividual);
  //        Set<OWLAnnotation> axiomId = Collections.singleton(currentAxiomAnnotation);
  //        OWLSameIndividualAxiom namingAxiom = dataFactory.getOWLSameIndividualAxiom(individuals, axiomId);
          OWLSameIndividualAxiom namingAxiom = dataFactory.getOWLSameIndividualAxiom(individuals);
          namingAxiom2ModalDepth.put(namingAxiom, modalDepth);
          transformedAxioms.add(namingAxiom);
          return freshIndividual;
      }