<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_pgoushin8ju3oiq58ali82hn5c, 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 {
  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;

  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));
  });
}