[NTG-context] nath and \(start|stop)formula