THIS IS A TEST INSTANCE. ALL YOUR CHANGES WILL BE LOST!!!!
...
Code Block | ||||||
---|---|---|---|---|---|---|
| ||||||
(P1) OR (P2) => (P1, P2) (P1) OR (ALL) => (ALL) (P1) OR () => (P1) (P1, P2) OR (P2, P3) => (P1, P2, P3) (:1) OR (:2) => (:1, :2) (P1, :1) OR (P2, :2) => (P1, P2, :1, :2) |
...
TODO
...