Warning: session_start(): open(/var/lib/php/sessions/sess_bh3ins5phst0euvc5fq6hs3sao, 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
sS ai_ruleOfThree_solver_4(S db, S input) {
ret fixAOrAn(too_transformInput(input, too -> {
// load rules
too.addAll(lambdaMap ai_parseBasicLogicRule(tlft(db)));
// find suffixes, transform everything accordingly
too.addTransformer(func(BasicLogicRule r) {
Set suffixes = ai_suffixesFromSharedWordStarts(r);
if (nempty(suffixes)) {
print(+suffixes);
// found suffixes. now transform all inputs & rules
too.addTransformer(func(IInput i) {
TransformedInput(ai_splitOffWordSuffixes(suffixes, i!))
});
too.addTransformer(func(BasicLogicRule r) {
mapBasicLogicRule(r, s -> ai_splitOffWordSuffixes(suffixes, s))
});
}
null;
});
// turn words appearing in LHS and RHS into variables
too.addTransformer(f, O> ai_sharedPhrasesIntoDollarVars);
// match input with rules
too_flexMatchRulesToTransformInput(too);
}));
}