static new ThreadLocal<Bool> applyNLLogicFacts_v3_verbose;

svoid applyNLLogicFacts_v3(S input, VF1<Exp> out) {
  applyNLLogicFacts_v3(input, out, mL_facts());
}

svoid applyNLLogicFacts_v3(S input, VF1<Exp> out, LS facts) {
  applyNLLogicFacts_v3(input, out, facts, ai_mL_parsedLogicExamples());
}

svoid applyNLLogicFacts_v3(S input, VF1<Exp> out, LS facts, L<Pair<S, IfThen>> rules) {
  new NLLogicChecker_v3 c;
  c.matcher = new NLStringMatcher_dollarVars;
  addAll(c.facts, facts);
  c.input = input;
  
  applyNLLogicFacts_v3(c, postMessage, rules);
}

svoid applyNLLogicFacts_v3(NLLogicChecker_v3 c, VF1<? super S> postMessage, L<Pair<S, IfThen>> rules) {
  for (Pair<S, IfThen> idAndRule : rules) pcall {
    IfThen rule = idAndRule.b;
    new NLLogicChecker_v3.Matching m;
    m.verbose = isTrue(applyNLLogicFacts_v3_verbose!);
    if (m.verbose)
      print("Checking rule: " + rule);
    if (c.checkRule(rule, m)) {
      print("Matched " + quote(c.input) + " with rule " + quote(rule));
      printStruct(m.matches);
      
      new SS matches; // matches made in evaluating RHS of rule
      for (Exp out : m.output)
        for (Exp e : nlLogic_unrollAnd(out))
          if (e cast Func)
            callF(out, c.apply(e, matches));
          else if (e cast Eq) {
            Exp r = e.right;
            S var = nlLogic_text(e.left);
            if (r cast Func)
              if (isStandardFunction(r.name) && r.arg instanceof Sentence && noJavaTokens(nlLogic_text(r.arg)))
                matches.put(var, str(callAndMake(r.name)));
          }
    }
  }
}