[NTG-context] Formula numbering including all prefix segments