8.3.3 或关系约束