svoid philosophyBot1_orHandler(PhilosophyBot1 bot) {
  bot.logicRulePreprocessors.add(rule -> {
    if (!(rule.lhs instanceof S)) false;
    LS tok = bot.mainTokenize((S) rule.lhs);
    if (countCodeTokens(tok) == 3 && eq(secondCodeToken(tok), "|")) {
      // split into two rules
      bot.addLogicRule(new PhilosophyBot1.LogicRule(firstCodeToken(tok), rule.rhs));
      bot.addLogicRule(new PhilosophyBot1.LogicRule(lastCodeToken(tok), rule.rhs));
      true;
    }
    false;
  });
}