!7

p {
  AI_SubSpace subSpace = new(1000);
  ai_setSubSpace(subSpace);
  ai_postTriple("is 10 bigger than 9?", "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);
    }
    
    print("SubSpace size: " + l(subSpace.websByID));
    for (int i = n; i < l(subSpace.webs); i++)
      print("> " + webToStringShort(subSpace.webs.get(i)));
      
    if (subSpace.limitReached()) break;
  }
}