
SYNTHESIZE: German;

    ENFORCE: IMPLICATION: PARAM <param1>:
        A20 == A201 OR A17 in {A171, A172} IMPLIES A17 in {A171, A172, A173};

END;
