Logic 错误："；使用prover9/mace4和符号/算术用作关系符号和函数符号；

我正在尝试做一些涉及使用prover9/mace4证明真实世界场景的课程作业。我得到这个错误：

%%错误：以下符号/算术用作关系和 功能符号：1/2

---

有人能解释一下这是什么意思吗？我只是想了解错误的含义。

也许你写了一些类似于

all x（kissed（x，x）&kissed（x，x）=$T的东西。

而不是

all x（kissed（x，x）&kissed（x，x）$T）。