7.9.2 在属性层面的约束