!7

p-exp {
  IfThen rule = nlLogic_parseRule([[
    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;
  
  final L<Exp> l = nlLogic_unrollAnd(rule.in);
  if (l == null) ret with print("No conditions");
  c.iterate(first(l), m, r {
    print("Got match: " + sfu(m.matches));
    print("Remaining: " + dropFirst(l));
  });
}