static S ai_getIndexedTerm(S s) {
  ret first(fullIndexedTermsStartingWith(s));
}