code: protected void addTerm(NormalFormGCI term) {
          if (term instanceof NF1a) {
              final NF1a nf1 = (NF1a) term;
              final int a = nf1.lhsA();
              addTerms(ontologyNF1, a, nf1.getQueueEntry());
          } else if (term instanceof NF1b) {
              final NF1b nf1 = (NF1b) term;
              final int a1 = nf1.lhsA1();
              final int a2 = nf1.lhsA2();
              addTerms(ontologyNF1, a1, nf1.getQueueEntry1());
              addTerms(ontologyNF1, a2, nf1.getQueueEntry2());
          } else if (term instanceof NF2) {
              final NF2 nf2 = (NF2) term;
              addTerms(ontologyNF2, nf2);
          } else if (term instanceof NF3) {
              final NF3 nf3 = (NF3) term;
              addTerms(ontologyNF3, nf3);
          } else if (term instanceof NF4) {
              ontologyNF4.add((NF4) term);
          } else if (term instanceof NF5) {
              ontologyNF5.add((NF5) term);
          } else if (term instanceof NF6) {
              reflexiveRoles.add(((NF6) term).getR());
          } else if (term instanceof NF7) {
              final NF7 nf7 = (NF7) term;
              addTerms(ontologyNF7, nf7);
          } else if (term instanceof NF8) {
              final NF8 nf8 = (NF8) term;
              addTerms(ontologyNF8, nf8);
          } else {
              throw new IllegalArgumentException("Type of " + term
                      + " must be one of NF1 through NF8");
          }
      }
docs: Adds a normalised term to the ontology.
  
  @param term
  The normalised term.