svoid nlLogic_fillBattleSpace(NLLogicChecker_v2 c, final L<RuleWithParams> battleSpace, bool debug) {
  VF2<IfThen, NLLogicChecker_v2.Matching> onRuleFired = voidfunc(IfThen rule, NLLogicChecker_v2.Matching m) {
    battleSpace.add(new RuleWithParams(rule, m.matches));
  };
  
  if (c.useIterate) {
    print("Iterating over " + n2(c.rules, "rule"));
    applyNLLogicFacts_v4_iterate_verbose.set(debug);
    applyNLLogicFacts_v4_iterate(c, onRuleFired, c.rules);
  } else {
    applyNLLogicFacts_v4_verbose.set(debug);
    applyNLLogicFacts_v4(c, onRuleFired, c.rules);
  }
}