[NTG-context] Formula starting with brackets