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();

}