
SYNTHESIZE: German;

    ENSURE: DIFFERENTIAL PRIVACY:
        EPSILON=<epsilon>, DELTA=1e-9;

    ENFORCE: LINE CONSTRAINT: 
        A13 > 30 AND A13 < 50;

END;