在大于 7 的整数声明中找不到实例

Question

我正在尝试模拟一个关于游泳池里一些女孩的问题。有一些前提是必须遵守的。

• Maiô: amarelo, azul, branco, verde
• 姓名：Ana、Bruna、Raquel、Vivian
• 艾达德：8、9、10、11
• Suco: laranja, limão, maracujá, morango
• 保护器：FPS 40、FPS 45、FPS 50、FPS 55
• 动物：cachorros, gatos, pássaros, peixes

我在使用数值构建事实时遇到问题。 Interger的使用有什么限制吗？

我正在尝试模拟一个关于游泳池里一些女孩的问题。到目前为止，我有以下一堆代码，只是一些签名：

abstract sig Maio{} 
one sig maio_amarelo, maio_azul, maio_branco, maio_verde extends Maio{}

abstract sig Nome{}
one sig nome_ana, nome_bruna, nome_raquel, nome_vivian extends Nome{}

abstract sig Suco{}
one sig suco_laranja, suco_limao, suco_maracuja, suco_morango extends Suco{}

abstract sig Animal{}
one sig cachorros, gatos, passaros, peixes extends Animal{}

sig Menina{
    maio: one Maio,
    nome: one Nome,
    suco: one Suco,
    animal: one Animal, 
    protetor: Int,
    idade: Int,
    pos: Int
}

只有四个女孩，年龄必须在8至11岁之间。所以，我创造了以下事实：

    #Menina = 4
    // Position
    pos in Menina one -> one (1 + 2 + 3 + 4)
    // Age
    idade in Menina one -> one (8 + 9 + 10 + 11) // Don't Work!! 

当我输入age事实时，我找不到任何实例.

当我提出有关防晒霜（保护剂）的事实时，也会发生同样的问题。它可以在 40、45、50 或 55 之间。如果我给出一个事实，没有找到实例！

整数使用有什么问题？