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