
SYNTHESIZE: German;

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

END;
