R r = new R(factory.getTotalConcepts(), factory.getTotalRoles());
// Collect subsumptions from context index
for (IntIterator it = contextIndex.keyIterator(); it.hasNext();) {
int key = it.next();
Context ctx = contextIndex.get(key);
int concept = ctx.getConcept();
CR pred = ctx.getPred();
CR succ = ctx.getSucc();
int[] predRoles = pred.getRoles();
for(int i = 0; i < predRoles.length; i++) {
IConceptSet cs = pred.lookupConcept(predRoles[i]);
for(IntIterator it2 = cs.iterator(); it2.hasNext(); ) {