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