static Cl<S> philosophyBot_gatherAllLHS(S script) {
  PhilosophyBot1 bot = new(script);
  bot.parseProgram();
  ret philosophyBot_allLHS(bot);
}