svoid nlLogic_fillBattleSpace_withFailed2(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));
  };
  VF4<IfThen, NLLogicChecker_v2.Matching, L<Exp>, Exp> onRuleFailed = voidfunc(IfThen rule, NLLogicChecker_v2.Matching m, L<Exp> satisfiedConditions, Exp remaining) {
    battleSpace.add(new FailedRule(rule, m.matches, satisfiedConditions, remaining));
  };
  
  if (c.useIterate) {
    print("Iterating over " + n2(c.rules, "rule"));
    applyNLLogicFacts_v4_iterate_withFailed2_verbose.set(debug);
    applyNLLogicFacts_v4_iterate_withFailed2(c, onRuleFired, onRuleFailed, c.rules);
  } else {
    applyNLLogicFacts_v4_verbose.set(debug);
    applyNLLogicFacts_v4(c, onRuleFired, c.rules);
  }
}