一个谓词，最多可容纳2个

Question

我想编写一个最多可以包含两个项目的谓词。

我试过做一个x，y：对象| 然而，这并没有给出理想的结果

然后我尝试了一个x，y：Object | x！= y 然而，这没有给出任何实例

我正在考虑

的内容 有些.. {    一.. }

任何帮助将不胜感激

Answer 1

one迫使那里只有一个原子，但x, y是两个原子。一种方法是some disj x, y: Object | no z: Object - x - y | ...