!7

set flag DynModule.

sclass TelegramFactsBot > AbstractTelegramThinkBot {
  void thinkAbout(S s) {
    new NLLogicChecker_v2 c;
    c.matcher = new NLStringMatcher_dollarVars;
    c.facts.addAll(mL("Random facts"));
    c.input = s;
  
    for (S rule : splitAtEmptyLines(mL_raw("NL Logic Examples"))) pcall {
      NLLogicChecker_v2.Matching m = new NLLogicChecker_v2.Matching();
      if (c.checkRule(nlLogic_parseRule(rule), m)) {
        print("Matched rule " + quote(rule));
        for (Exp out : m.output)
          if (out cast Func)
            if (eq(out.name, "output") && out.arg instanceof Sentence)
              postMessage("Random facts say: " + join(((Sentence) out.arg).tok));
      }
    }
  }
}