6 号合金存在的问题

我有点困惑，因为我真的不知道为什么 Alloy Analyzer 没有找到这个简单问题的解决方案。我只想为每个人提供一个唯一的 ID...

abstract sig Person {
id: Int
} {id > 0}

sig Candidato extends Person {
    votiRicevuti: Int
}

sig Elettore extends Person {
    votiDati: set Voto
}

sig Voto {
    votante: Elettore,
    votato: Candidato
}

fact {
    #Candidato > 0
    #Elettore > 0
}

fact {
    all p1, p2: Person |
        p1.id != p2.id
}

    
run {} for 4 but 4 Elettore, 4 Candidato