<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_9mqd1nv6de06s3moh73nk9p7lb, 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 />
static L<VarMatches> nlLogic_matchAllFacts(S pat, LS facts) {
  new NLLogicChecker_v2 c;
  c.facts = facts;
  ret nlLogic_matchAllFacts(c, pat, new NLLogicChecker_v2.Matching());
}

static L<VarMatches> nlLogic_matchAllFacts(NLLogicChecker_v2 c, S pat, NLLogicChecker_v2.Matching m) {
  LS patterns = tok_splitAtVerticalBar(pat);
  VarMatches m2 = null;
  new L<VarMatches> choices;
  for (S fact : c.facts) {
    if (m2 == null) m2 = new VarMatches(m.matches);
    bool result = nlLogic_matchMultiplePatterns(c, patterns, fact, m2);
    if (m.verbose) print("matched " + quote(pat) + " with " + quote(fact) + " & " + sfu(m.matches) + " => " + result);
    if (result) {
      choices.add(m2);
      m2 = null;
    }
  }
  ret choices;
}