!7

standardBot1 agiBlueRulesBot {
  processSimplified {
    L<AGIBlue_Rule> rules = agiBlue_ruleObjects();
    L<AGIBlue_MatchedRule> matches = agiBlue_matchAllRulesOnInput(s);
    if (empty(matches)) ret "No matches with " + nRules(rules);
    L<AGIBlue_MatchedRule> matches2 = takeFirst(3, matches);
    ret mapToLines(matches2, m -> m.rewrittenRHS())
      + (l(matches2) > l(matches) ? "\n[+" + (l(matches2)-l(matches)) + "]" : "");
  }
}