}
}
// These terms are of the form f.(o, v) [ A. These are indexed by f.
FeatureSet keys = ontologyNF8.keySet();
for (int i = keys.nextSetBit(0); i >= 0; i = keys.nextSetBit(i+1)) {
MonotonicCollection<NF8> mc = ontologyNF8.get(i);
for(Iterator<NF8> it2 = mc.iterator(); it2.hasNext(); ) {
NF8 nf8 = it2.next();
res.add(new ConceptInclusion(
transform(nf8.lhsD),