这里，q中的变量依然是x。

如果对一阶产生式规则进行扩展。可以引入新的（匿名）对象（object invention），并对该对象说明。这和存在量词有着密切关系。
那么是否可以理解为
      r : if p(x) then q (y)
其中，y不等于x。可以看出规则r的执行产生了新对象y。
这样，关于该扩展后的一阶产生式规则是否可以使用模态mu- calculus的一阶扩展来（a first order extension of Modal mu calculus）来进行推理？

  请各位发表高见。非常感谢