svoid pb_enableAutoPatterns(PhilosophyBot1 bot, O... _) {
  optPar bool debug;
  Set<S> patterns = ciSet();
  IVF1<S> onFact = fact -> bot.addFacts(dm_topDownParseToGroupings(fact, patterns));
  IVF1<PhilosophyBot1.LogicRule> onRule = rule -> {
    LS l = stringsOnly(philosophyBot_allPartsOfLHS(rule));
    LS l2 = listMinusSet(l, patterns);
    if (nempty(l2)) {
      print("Have new patterns: " + l2);
      patterns.addAll(l2);
      bot.updateCodeOnFact(onFact);
    }
  };
  bot.addCodeOnFact(onFact);
  bot.addCodeOnRule(onRule);
}