<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_8i670k6n4e7pide1u9om1eudhq, 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 />
sbool ai_deriveFacts_debug;

static Set<S> ai_deriveFacts(L<IfThen> rules, LS facts) {
  final new NLLogicChecker_v3 c;
  c.facts = facts;
  final new NLLogicChecker_v2.Matching m;
  m.verbose = ai_deriveFacts_debug;
  final new LinkedHashSet<S> outFacts;
  for (final IfThen rule : nlLogic_filterByRHSConstructs(rules, 'fact)) {
    if (ai_deriveFacts_debug)
      print("ai_deriveFacts: Checking " + rule);
    c.iterate(rule.in, m, r {
      if (ai_deriveFacts_debug)
        print("Got matches: " + sfu(m.matches));
        
      for (Exp e : nlLogic_unrollAnd(rule.out)) {
        if (e cast Func)
          if (eq(e.name, "fact"))
            continue with outFacts.add(nlLogic_text(c.apply(e.arg, m)));
        if (c.checkHelper(e, m))
          continue;
        print("Ignoring unknown RHS element: " + e);
      }
    });
  }
  ret outFacts;
}