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