<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_pmm6ldmrd7u4rt5i9t54uuaavk, 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 />
svoid philosophyBot1_enableAddSimplifier_withTrails(PhilosophyBot1 bot) {
  bot.addFactPreprocessor(fact -> {
    S rule = $x(bot.matchString("add simplifier $x", fact));
    if (rule == null) false;
    print("adding simplifier: " + rule);
    PairS p = tok_splitAtDoubleArrow_pair(rule);
    if (p == null) false;
    philosophyBot1_addSimplificationRule_withTrails(bot, p.a, p.b, fact);
    true;
  });
}