!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?";

  final new NLLogicChecker_v2.Matching m;

  m.verbose = true;

  final L<Exp> l = nlLogic_unrollAnd(rule.in);

  if (l == null) ret with print("No conditions");

  print("Conditions: " + l);

  // WORKS

  c.iterate(first(l), m, r {

    print("Got match: " + sfu(m.matches));

    print("Remaining conditions: " + c.apply(nlLogic_and(dropFirst(l)), m);

    print("Remaining rule: " + c.apply(IfThen(nlLogic_and(dropFirst(l)), rule.out), m));

  });

  // WORKS in this case, but iterate is better

  print("Method 2");

  if (c.checkExpression(first(l), m)) {

    print("Got match: " + sfu(m.matches));

    print("Remaining: " + c.apply(nlLogic_and(dropFirst(l)), m));

  }

}