public static interface ISpec {
  Lock aiLock();
  bool ai_cache_hasTriple(S a, S b, S c);
  S ai_postTriple(S a, S b, S c);
  S ai_setMaker(S maker);
  L<S> allIndexedFullTerms();
  L<S> ai_texts_verified(S a, S b, S c);
  S ai_text(S a, S b, S c);
  Web ai_blob(S word, bool verified);
  L<WebNode> ai_index_search_dollarX(S a, S b, S c);
  L<WebNode> indexedNodes(S s);
  L<Web> indexedWebs(S s);
  Set<GlobalID> ai_invalidatedWebs();
  void ai_invalidatedWebs_cache_put(GlobalID a, GlobalID b);
  MultiMap<S, WebNode> cachedNodeIndex2();
  Web ai_getWeb(S id);
  void ai_setSubSpace(AI_SubSpace subSpace);
  AI_SubSpace ai_currentSubSpace();
  Set<S> ai_mainIndexKeys();
  TripleIndex tripleIndex();
  void ai_removeWeb(Web web);
  L<VirtualNodeIndex> virtualNodeIndices();
  bool ai_enabled();
  bool ai_useThoughtSpaces();
  bool ai_inTripleMode();
  AbstractThoughtSpace currentThoughtSpace();
  <A extends AbstractThoughtSpace> A thoughtSpace(A ts);
  void ai_markMemoryDirty();
  bool ai_isMemoryDirty();
}