sS philosophyBotWithFactStore_discordAnswer(S theory, SimpleFactStore factStore, S s, O... _) {
  optPar long userID;
  optPar bool fromBot;
  print(userID + " (" + (fromBot ? "bot" : "human") + "): " + s);
  
  S user = "(user " + userID + ")";
  PhilosophyBot1 bot = new(theory);
  factStore.onChange(r change);
  factStore.verbose = true;
  philosophyBot1_factStore(bot, factStore);
  bot.standardImports();
  bot.autoOpenTheories();
  bot.addFact(user + " is a " + (fromBot ? "bot" : "human"));
  bot.addFact(user + " says (" + s + ")");
  bot.run();
  
  ret first(bot.matchFacts("$x", "say $x"));
}