“…{ (1, 1), (1, 3), (1, 5), (2, 2), (2, 4), (2,6), (3,1), (3,3), (3,5) An example problem, the correct event set representation, and an applicable semantic constraint are shown in Figure 5. In the example, two distinct dice are rolled and their upper faces are observed.…”