static S ai_getIndexedTerm(S s) {
  S key = first(indexedTermsStartingWith(s));
  if (key == null) null;
  for (S term : ai_expandShortenedKey(key))
    if (eqic(term, s)) ret term;
  null;
}