约束解码能表达“括号是否闭合”“枚举是否合法”等结构规则，但无法表达“城市名是否与用户问题一致”等依赖语义的约束。