<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_ip2ksqgh99m341u20a6chmv22n, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!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));
  }
}