FeatureMap<MonotonicCollection<NF8>> deltaNF8 = new FeatureMap<MonotonicCollection<NF8>>(size);
for (NF8 nf8 : as.getNf8Axioms()) {
addTerms(deltaNF8, nf8);
}
FeatureSet fs = deltaNF8.keySet();
for (int fid = fs.nextSetBit(0); fid >= 0; fid = fs.nextSetBit(fid+1)) {
for (IntIterator it = ontologyNF7.keyIterator(); it.hasNext();) {
int a = it.next();
Context aCtx = contextIndex.get(a);
for (Iterator<NF7> i = ontologyNF7.get(a).iterator(); i.hasNext();) {