
SYNTHESIZE: HealthHeritage;

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

    ENFORCE: IMPLICATION: 
        PrimaryConditionGroup in {SEPSIS, STROKE, HEART2, HEART4, INFEC4} IMPLIES Specialty == Emergency;

END;