Nlp 用词典翻译谓词逻辑（PL）

我想将以下语句转换为谓词逻辑：

推送系统的性能因环境而异，但拉送系统的性能总是更好

给出了以下词汇：

Px，y:x是y的性能

Hx:x是一个推送系统

Lx:x是一个拉力系统

x是环境

Vx，y:x将根据y而变化

Bx，y:x永远比y好

我想到了这个翻译：

∃xPx，Hx⇒ Vx，Ey∧ ∀xPx，Ly⇒ BLx，Hy

---

但是，有人告诉我，我不能提供谓词作为其他谓词的参数，因此我上面所做的Px，H是不正确的。对如何正确翻译这句话有什么建议吗？谢谢。

我不确定这个问题是否适合StackOverflow。有两种不同的讨论：

如何使用上面的词汇表达以逻辑形式表达这个句子

如何将文本自动转换为逻辑形式

主要的问题似乎是关于如何表现。我将解释Px，Hx的问题

根据你的词典，Hx代表x是一个推送系统，因此Hx有命题类型，你可以称之为t型

更清楚地说，让我们把你要求的表示法，Px，Hx，翻译成英语。 Px，Hx==>x是Hx的性能==>x是‘x是一个推送系统’的性能~~~>x是一个关于x的提案的性能

这没有意义，因为Hx代表一个命题，它与x本身不同

也许，你想要的是：Px，y∧ Hy