static Cl<S> philosophyBot_allLHS(PhilosophyBot1 bot) {
  Set<S> set = ciSet();
  for (PhilosophyBot1.LogicRule r : bot.logicRules())
    addAll(set, stringsOnly(philosophyBot_allPartsOfLHS(r)));
  ret set;
}