!7

p-exp {
  final IfThen rule = nlLogic_parseRuleWithMacros([[
    i(can you $walk_on_water?)
    && fact(nobody can $walk_on_water)
    => say(no. nobody can $walk_on_water)
  ]]);
  final new NLLogicChecker_v3 c;
  c.input = "can you look around corners?";

  nlLogic_producePartialApplications(c, rule, voidfunc(IfThen r) {
    print("New rule: " + r)
  });
}