
SYNTHESIZE: HealthHeritageBinaryAge;

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

    ENFORCE: IMPLICATION: 
        LabCount_total > 5 IMPLIES ProcedureGroup == MED;

END;