Warning: session_start(): open(/var/lib/php/sessions/sess_5ir15qnq8gghh0d1n4opol2o8d, 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 VF1 ts1_applyGroupingPrefix() { ret voidfunc(ThoughtSpace1 ts) { S s = ts.getInput(); if (empty(s)) ret; for (S prefix : sentencePrefixes_notEmpty_rev(s)) if (cic(ts.getDefinitionTexts(prefix), "a grouping prefix")) ts.add(ProposeRewrite(s, prefix + " " + curlyBrace(trim(dropPrefix(prefix, s))))); }; }