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);
  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<S> ai_invalidatedWebs();
  MultiMap<S, WebNode> cachedNodeIndex2();
}