一个最多包含 2 个的谓词
A predicate which holds for at most 2
我想写一个最多包含两个项目的谓词。
我试过做一个 x,y: Object |
然而，这并没有给出预期的结果
然后我尝试了一个 x,y: Object | x != y
然而，这没有给出实例
我在想一些类似
的事情
一些..
{
一..
}
如有任何帮助，我们将不胜感激
one 强制只有一个原子，但 x, y 是两个。一种方法是 some disj x, y: Object | no z: Object - x - y | ...
我想写一个最多包含两个项目的谓词。
我试过做一个 x,y: Object | 然而，这并没有给出预期的结果
然后我尝试了一个 x,y: Object | x != y 然而，这没有给出实例
我在想一些类似
的事情一些.. { 一.. }
如有任何帮助，我们将不胜感激
one 强制只有一个原子，但 x, y 是两个。一种方法是 some disj x, y: Object | no z: Object - x - y | ...