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