static NavigableSet<Symbol> ai_navigableShortTerms() {
  ret navigableKeys(ai_mainIndex());
}