!7

cprint {
  start-thread {
    // not sure how to integrate this into the program
    // ProbabilisticMachine2<State> pm;

    new AllOnAll<F1, O> allOnAll;
    AllOnAllOperation<F1, O> op = new(allOnAll,
      (a, b) -> allOnAll.addBIfNotNull(callFOpt(a, b)));

    allOnAll.addB(parseBasicLogicRule(
      [[Cutting Budgets on Important Emergency Vehicle Bridges
      => Cutting Budgets on {Important Emergency Vehicle Bridges]]));

    allOnAll.addA(func(BasicLogicRule rule) -> S { toStringOpt(rule.rhs) });
    
    stepAllWithStats(op);

    pnl(allOnAll.getBs());
  }
}