[NTG-context] Align a compound inequality