!7

p-exp {
  BakedBot bot;
  
  for (S s : tlft(mL("Program 1"))) {
    L<S> l = splitAtSingleArrow(s);
    if (l(l) == 2)
      bot.pcheck(first(l), second(l));
    else
      bot.addFact(s);
  }
}