Let's define a P# type:
Code: Select all
TYPE P# POSSREP {PNUM CHAR};
Code: Select all
WITH (R := RELATION { SUPPLIES RELATION {PID P#}} {
TUPLE { SUPPLIES RELATION {
TUPLE {PID P#("P1")},
TUPLE {PID P#("P2")},
TUPLE {PID P#("P3")},
TUPLE {PID P#("P4")},
TUPLE {PID P#("P5")},
TUPLE {PID P#("P6")}
}},
TUPLE { SUPPLIES RELATION {
TUPLE {PID P#("P1")},
TUPLE {PID P#("P2")}
}},
TUPLE { SUPPLIES RELATION {
TUPLE {PID P#("P2")},
TUPLE {PID P#("P4")},
TUPLE {PID P#("P5")}
}}
}) : R = R
Changing some parts of it seems to make this bug disappear.