static L<ExecutedRule> nlLogic_processInputOrFact(S input, bool inputAsFact, S rulesMechListName) {
  new NLLogicChecker_v3 c;
  if (!inputAsFact) c.input = input;
  Pair<L<IfThen>, LS> rulesAndFacts = pair(ai_parseRulesWithMacros(mL_raw(trim(rulesMechListName))), emptyList(S));
  c.facts = reversed(rulesAndFacts.b);
  if (inputAsFact) c.facts = concatLists(ll(input), c.facts);
  c.rules = reversed(rulesAndFacts.a); // latest rules first!
  if (!inputAsFact)
    c.rules = [IfThen r : c.rules | ai_ruleAccessesInput(r)];
  c.rules = nlLogic_safeLHSEvalsOnly_verbose(c.rules);
  print("Have " + n2(rulesAndFacts.a, "rule"));
  c.useIterate = true;
  //c.staticVerbose = true;
  new L<RuleWithParams> battleSpace;
  nlLogic_fillBattleSpace(c, battleSpace, false);
  //print("l=" + l(battleSpace));
  ret map(battleSpace, func(RuleWithParams r) -> ExecutedRule {
    nlLogic_executedRuleFromRuleWithParams(r)
  }));
}