Alloy - 非法关系连接

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

"the group"是什么意思？签名表示一组对象，因此这里可能有几个组。