Redux Plan

Initial Plan Detailed Assertions

Valid Assignments for Feature "subsequent":
A-34: G-10 G-7
A-31: G-7 PENULTIMATE
A-25: S0 G-10
A-21: G-10 G-9
A-18: G-9 G-3
A-15: G-3 PENULTIMATE
A-6: PENULTIMATE FINAL-STATE

Valid Assignments for Feature "Call-WS":
A-32: HPN-Stock G-7
A-22: MySAP G-10
A-19: HPN-POconfirm G-9
A-16: Bank-Sparkasse G-3
A-13: HPN-Catalog S0
A-7: HPN-Shipping PENULTIMATE

REDUX CODE      REDUX BNF

cjp