5.7 约束规则生成