static int ai_solveQuestionInSubSpace_limit = 10000;
static bool ai_solveQuestionInSubSpace_saveIfSuccessful = true;

static S ai_solveQuestionInSubSpace_noTimeOut(L<T3<S>> seeds, L<T3<S>> lookingFor) {
  ret pairB(ai_solveQuestionInSubSpace_noTimeOut2(seeds, lookingFor));
}

static Pair<AI_SubSpace, S> ai_solveQuestionInSubSpace_noTimeOut2(L<T3<S>> seeds, L<T3<S>> lookingFor) {
  ret ai_solveQuestionInSubSpace_noTimeOut2(seeds, lookingFor, f ai_solveQuestionInSubSpace_defaultStep);
}

static Pair<AI_SubSpace, S> ai_solveQuestionInSubSpace_noTimeOut2(L<T3<S>> seeds, L<T3<S>> lookingFor, O stepFunction) {
  AI_SubSpace subSpace = new(ai_solveQuestionInSubSpace_limit);
  ai_setSubSpace(subSpace);
  try {
    for (T3<S> seed : seeds)
      subSpace.postTriple(seed); // force it to be posted in SubSpace even if it exists already in main space
    for (T3<S> t : lookingFor)
      subSpace.postTriple(t3("_goal", "is", ai_renderTriple(t)));
    
    int step = 0;
    while (!subSpace.limitReached()) {
      ++step;
      int n = l(subSpace.webs);
      print("Solving question: " + allToString(lookingFor) + " (step " + step + ", " + n + "/" + subSpace.limit + ")");
      
      pcall-short {
        callF(stepFunction);
      }
      
      L<Web> newWebs = cloneSubList(subSpace.webs, n);
      ai_spec_possiblyToActually(newWebs);
      
      for (T3<S> t : lookingFor) {
        S a = ai_text(t);
        if (a != null) {
          if (ai_solveQuestionInSubSpace_saveIfSuccessful)
            saveGZStructure(countTillNewFile(programFile("logged-subspaces/subspace"), ".gz"), subSpace);
          ret pair(subSpace, a);
        }
      }
  
      if (l(subSpace.webs) == n) {
        print("Got " + nWeb(n) + ". No new webs made");
        break;
      }
    }
    
    if (subSpace.limitReached()) print("Subspace limit reached");
    ret pair(subSpace, null);
  } finally {
    ai_setSubSpace(null);
  }
}

static Pair<AI_SubSpace, S> ai_solveQuestionInSubSpace_noTimeOut2(S q) {
  Pair<L<T3<S>>> p = ai_solveQuestion_seedAndLookingFor(q);
  ret ai_solveQuestionInSubSpace_noTimeOut2(p.a, p.b);
}

svoid ai_solveQuestionInSubSpace_defaultStep {
  AI_SubSpace subSpace = ai_currentSubSpace();
  for (S term : concatLists(keys(subSpace.index), allToString(keys(subSpace.websByID))))
    ai_speculate(term);
  
  // Random stuff!
  
  ai_spec_answerPattern();
  ai_spec_daysOld();
}