static AI_SubSpace ai_loadSubSpace(File f) {
  new AI_SubSpace ss;
  for (Web web : ai_loadWebsFromFile(f, ""))
    ss.addWeb(web);
  ret ss;
}