!7

p-exp {
  BakedBot bot = bakedBotWithRules([[
    [id: yes, trumps unknown] i(is $x $y?) && fact($x is $y) => o(yes)
    
    [id: no, trumps unknown] i(is $x $y?) && fact($x is not $y) => o(no)
    
    [id: unknown] anyInput() => o(unknown)
  ]]);
  set(bot.factsBot(), standardGrouper := func(S s) -> S {
    ai_groupSimplestNounPhrasesIfUngrouped(s)
  });
  
  for (S s : tlft(mL_raw("Program 1"))) {
    L<S> l = splitAtSingleArrow(s);
    if (l(l) == 2) {
      bot.answerAuthed("!groupFacts");
      bot.pcheck(first(l), second(l));
    } else
      bot.addFact(s);
  }
  
  bot.printTestStats();
}