5.6 约束规则生成