svoid pb_enableAutoPatterns(PhilosophyBot bot) {
  Set<S> patterns = ciSet();
  IVF1<S> onFact = fact -> bot.addFacts(dm_topDownParseToGroupings(s, patterns));
  IVF1<PhilosophyBot.LogicRule> onRule = rule -> {
    if (patterns.addAll(stringsOnly(philosophyBot_allPartsOfLHS(rule))))
      bot.updateCodeOnFact(onFact);
  };
  bot.addCodeOnFact(onFact);
  bot.addCodeOnRule(onRule);
}