!7

p {
  AI_SubSpace subSpace = new(1000);
  ai_setSubSpace(subSpace);
  S q = "is 10 bigger than 9?";
  ai_postTriple(q, "should be", "answered");
  
  repeat 5 {
    int n = l(subSpace.webs);
    pcall-short {
      for (S term : concatLists(keys(subSpace.index), keys(subSpace.websByID)))
        ai_speculate(term);
    }
    
    L<Web> newWebs = cloneSubList(subSpace.webs, n);
    ai_spec_possiblyToActually(newWebs);
    
    newWebs = subList(subSpace.webs, n);
    print("SubSpace size: " + l(subSpace.websByID));
    for (Web web : newWebs)
      print("> " + webToStringShort(web));
      
    S a = ai_text("$X", "answers", q);
    if (a != null) {
      print("Answer found! >> " + a);
      break;
    }
      
    if (subSpace.limitReached()) break;
  }
}