所以我有以下内容:
some sig Person {
friends : set Person
}
fact TransitiveForThree {
one p1, p2, p3 : Person {
p1 in p2.friends && p2 in p3.friends => p1 in p3.friends
}
}
我的想法是,我希望存在一组 3 个人,他们都是彼此的朋友。但是,我希望它存在一个集合,其中至少有 3 个或更多的人都是朋友。有人可以解释如何用合金做到这一点吗?