Warning: session_start(): open(/var/lib/php/sessions/sess_30bvfe2lhp1878r3ldsfutuj5u, 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 bool je_postThens(L rule) { int i = je_indexOfThen(rule); if (i < 0) i = 0; // all then for (; i < l(rule); i++) { JE_CascadeEntry e = rule.get(i); L tok = tok_withoutOuterBrackets(e.tok); T3 t = ai_tripelize(join(tok)); post(t); } }