[NTG-context] Position of formula