static S ai_getIndexedTerm(S s) {
  S key = first(indexedTermsStartingWith(s));
  if (key == null) null;
  ret first(ai_expandShortenedKey(key));
}