code: private void rePrimeNF7(AxiomSet as, IConceptMap<IConceptSet> subsumptions) {
          int size = as.getNf7Axioms().size();
          if (size == 0)
              return;
          IConceptMap<MonotonicCollection<NF7>> deltaNF7 = new SparseConceptMap<MonotonicCollection<NF7>>(size);
          for (NF7 nf7 : as.getNf7Axioms()) {
              int a = nf7.lhsA;
              MonotonicCollection<NF7> list = deltaNF7.get(a);
              if(list == null) {
                  list = new MonotonicCollection<NF7>(2);
                  deltaNF7.put(a, list);
              }
              list.add(nf7);
          }
  
          // Get all the subsumptions a [ x
          for (final IntIterator aItr = subsumptions.keyIterator(); aItr.hasNext();) {
              final int a = aItr.next();
  
              final IConceptSet Sa = subsumptions.get(a);
  
              for (final IntIterator xItr = Sa.iterator(); xItr.hasNext();) {
                  final int x = xItr.next();
  
                  // If any of the new axioms is of the form x [ y then add
                  // an entry
                  if (deltaNF7.containsKey(x)) {
                      final IMonotonicCollection<NF7> set = deltaNF7.get(x);
  
                      for (final NF7 entry : set) {
                          // Add to corresponding context and activate
                          Context ctx = contextIndex.get(a);
                          ctx.addFeatureQueueEntry(entry);
                          affectedContexts.add(ctx);
                          ctx.startTracking();
                          if (ctx.activate()) {
                              todo.add(ctx);
                          }
                      }
                  }
              }
          }
      }
docs: These axioms are of the form A [ f.(o, v) and are indexed by A. A feature queue element must be added to the
  contexts that have A in their subsumptions.
  
  @param as
  @param subsumptions