合金 - 非法關係加入

Question

這是我目前的簽字聲明：

abstract sig Human {} 
    sig Male, Female extends Human {} 
    sig Group {inGroup: set Human} 

我希望能夠找出是否有在Group更Male超過Female。我一直在嘗試使用：

#Group.Male > #Group.Female 

然而，作爲左類型是Human和正確的類型爲Male/Female這不起作用，所以說，這是不是一個法律關係參加。我哪裏錯了？

Answer 1

使用路口（&）未選擇。

Answer 2

你是什麼意思的「小組」？簽名表示一組對象，因此這裏可能有幾個組。