svoid philosophyBot1_enableAddSimplifier(PhilosophyBot1 bot) { bot.anyCodeOnFacts.newA(fact -> { S rule = $x(bot.matchString("add simplifier $x", fact)); if (rule == null) ret; PairS p = tok_splitAtDoubleArrow_pair(rule); if (p == null) ret; philosophyBot1_addSimplificationRule(bot, p.a, p.b); }); }