ドット演算子がフィールドを参照するために使用されているか、またはAlloyでリレーショナルジョインを実行するためにドット演算子が使用されているときは、どのように知っていますか？

Question

私は合金のドット演算子（正式なモデリング言語）について混乱しています。時には、私がリレーショナル・ジョインを実行すると、予想される出力が得られることがありますが、時にはsigのフィールドにアクセスするために使用されていると感じられ、リレーショナル・ジョインは機能しません。

おかげで、 ケビン

Answer 1

は、この質問はすでにここに回答されていますRelational Join and Operators in Alloy

場合は、与えられたリンクを読んだ後、あなたはまだドットが特定の例で作業に参加する方法を理解する難しさを持っている、してください上記の例を含めるように質問を編集して、その行動を明確にするのを手伝ってください。