8.1.2 标注约束