static double ai_solveQuestionInSubSpace_defautTimeOut = 60; static S ai_solveQuestionInSubSpace(T3 seed, T3 lookingFor) { ret ai_solveQuestionInSubSpace(ll(seed), lookingFor, ai_solveQuestionInSubSpace_defautTimeOut); } static S ai_solveQuestionInSubSpace(final T3 seed, final T3 lookingFor, double maxSeconds) { ret (S) eitherAOpt(evalWithTimeout(maxSeconds, func { ai_solveQuestionInSubSpace_noTimeOut(ll(seed), lookingFor) })); } static S ai_solveQuestionInSubSpace(S q) { ret ai_solveQuestionInSubSpace( triple(q, "should be", "answered"), triple("$X", "answers", q)); }