Warning: session_start(): open(/var/lib/php/sessions/sess_nu82l2ilc3mg76f5s1i1f24nu4, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
static L ai_iterateExpressionOnFacts(Exp e, LS facts) { final new NLLogicChecker_v3 c; c.facts = facts; final new NLLogicChecker_v2.Matching m; final new L matches; c.iterate(exp, m, r { matches.add(m.matches) }); ret matches; }