关系多重性如何工作？

Question

我正在使用这个简单的模型和评估器来研究关系的多重性。评估者对话表明了我感到困惑的情况。

sig A {}
sig B {}

pred show {}
run show

Evaluator dialogue:

univ

{A$0, A$1, B$0, B$1, B$2}

B->A

{B$0->A$0, B$0->A$1, B$1->A$0, B$1->A$1, B$2->A$0, B$2->A$1}

B lone -> A

{B$0->A$0, B$0->A$1, B$1->A$0, B$1->A$1, B$2->A$0, B$2->A$1}

// Although the two relations seem to be identical,

B->A in B->A 

true

// but

B->A in B lone -> A 

false

两种产品的不同之处在于，在B单独的B-> A'和'B-> A中回答“B-> A” - > A'？