svoid applyNLLogicFacts(S input, VF1<? super S> postMessage) {
  new NLLogicChecker_v2 c;
  c.matcher = new NLStringMatcher_dollarVars;
  c.facts.addAll(mL("Random facts"));
  c.input = input;

  for (PairS idAndRule : combineWithGlobalIDs(splitAtEmptyLines(mL_raw("NL Logic Examples")))) pcall {
    S rule = idAndRule.b;
    NLLogicChecker_v2.Matching m = new NLLogicChecker_v2.Matching();
    if (c.checkRule(nlLogic_parseRule(rule), m)) {
      print("Matched " + quote(input) + " with rule " + quote(rule));
      printStruct(m.matches);
      for (Exp out : m.output)
        for (Exp e : nlLogic_unrollAnd(out))
          if (e cast Func)
            if (eq(e.name, "output") && e.arg instanceof Sentence)
              callF(postMessage, ((Sentence) e.arg).text());
    }
  }
}