!7

p-exp {
  new DerivedMechLists lists; // use general facts & parsing info
  BakedBot bot = new(lists);
  lists.setText("NL Logic Examples", [[
    input(how many $faces are on a $rubiks_cube) && fact(a $rubiks_cube has $six $faces) => output($six)
  ]]);
  
  bot.setAuthorized(true);
  bot.pcheck("how many segments are on a face of a rubik's cube", "9");
  LS log = cast getOpt(bot.getBot('TelegramFactsBot), 'checkingLog);
  printLines(log);
}