static L<Symbol> allIndexedFullTerms() {
  ret concatMap(f ai_expandShortenedKeys, cloneList(allIndexedTerms()));
}