
SYNTHESIZE: CompasBinaryRace;

    ENFORCE: STATISTICAL: PARAM <param1>:
        E[age] == 40;

END;
