[NTG-context] different prefixsegments for \in