static Symbol ai_longestTerm() {
  ret longestString(allIndexedFullTerms());
}