Если у меня есть модель Alloy в следующем формате
one sig player {
name: String,
spot: set position
}
sig position {
Attack: Bool,
accuracy: int,
strength: int,
}
Если я хочу иметь определенное правило, чтобы каждый игрок мог иметь от 1 до 3 позиций. Есть ли способ создать такой прогноз или факт, чтобы сделать это?
Спасибо,