static NavigableSet<Symbol> ai_navigableShortTerms() {
  ret cachedNodeIndex_autoMake
    ? NavigableSet(cachedNodeIndex())
    : tripleIndex().navigableMainKeys();
}