865866867868869870871872873874
// Normalise Set<Inclusion> norm = normalise(incAxioms); for(Inclusion inc : norm) { NormalFormGCI nf = inc.getNormalForm(); as.addAxiom(nf); addTerm(nf); } }