\phi = \forall x\, \bigl((\exists y\, P(x, \blue{y}, z)) \land (\forall z\, P(x, \red{y}, z))\bigr). &\text{约束出现: } \exists y\, P(x, \blue{y}, z) \text ...