Warning: session_start(): open(/var/lib/php/sessions/sess_gd91talv698cbs41t2v0ntojgt, 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
svoid philosophyBot_processUnclearIfs(PhilosophyBot1 bot) {
S var = "$" + aGlobalID();
new Set phrases;
for (PhilosophyBot1.LogicRule rule : bot.logicRules) {
S cond = optCast S(bot.leftmostCondition(rule.lhs)), continue if null;
S phrase = mapGet(bot.zipIt_deBracket("unclear if " + var, cond), var), continue if null;
if (phrases.add(phrase))
print("Got unclear if: " + phrase);
}
if (empty(phrases)) ret;
for (PhilosophyBot1.LogicRule rule : allLogicRulesWithoutLHSVars()) {
S cond = optCast S(leftmostCondition(rule)), continue if null;
continue unless any(phrases, pat -> bot.zipIt(pat, cond) != null);
continue if bot.hasFact(cond);
bot.addFact("unclear if " + optRound(cond));
}
}