alloy - 合金の高次定量化

Question

私は合金の高次定量化について読んでいて、次のことを見ました：lone p：some X | F
さて、キーワード'some'がpまたはXを変更するかどうか混乱しています。それは、Xが空でないことを意味するのでしょうか、それともpのカーディナリティが>=1であることを意味するのでしょうか。

Answer 1

この場合、「some」は「X」を変更します。これは、Xが空でないことを意味します。ただし、「lone」は依然として「p」を変更します。これは、p <= 1のカーディナリティを意味します。つまり、この制約は、空でないセット「X」に「F」のように最大で1つの「p」があることを意味します。当てはまります。