Configurable material BIKE has characteristics FRAME and COLOR.
Characteristic COLOR has the values 'Red', 'Green', 'Blue', and 'Yellow'.The values for characteristic COLOR are restricted to 'Green' and 'Yellow' if you choose an aluminum FRAME.
Characteristic COLOR is restrictable. Characteristic FRAME is single-value.
Procedure
OBJECTS:
BIKE IS_A (300) BIKE where FR = FRAME; COL = COLOR
RESTRICTIONS:
COL IN ('Red', 'Yellow') IF FR = 'Aluminum'
INFERENCES:
COL.
Result
If you set value 'Aluminum' for characteristic FRAME, you only see the values 'Yellow' and 'Green' for characteristic COLOR.