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 : bot.allLogicRulesWithoutLHSVars()) {
S cond = optCast S(bot.leftmostCondition(rule)), continue if null;
if (!any(phrases, pat -> bot.zipIt(pat, cond) != null))
continue with print("unclearIf not requested: " + cond);
if (bot.hasFact(cond))
continue with print("unclearIf has fact: " + cond);
bot.addFact(print("unclearIf adding", "unclear if " + optRound(cond)));
}
}