static Cl<S> philosophyBot_allLHS(PhilosophyBot1 bot) {
  ret bot == null ? null : collectStrings lhs(bot.logicRules());
}