hivatalos megnevezés: Vyšehradné, magyar megnevezés: Felsőpróna (településrész -> Németpróna [Nitrianske Pravno]), kód: [514225], járás: Privigye [307], kerület: Trencséni kerület [3]