SYNTHESIZE: Adult;
      
    ENSURE: DIFFERENTIAL PRIVACY:
        EPSILON=<epsilon>, DELTA=1e-9;
        
    ENFORCE: IMPLICATION: PARAM <param1>:
        workclass in {Federal_gov, Local_gov, State_gov} IMPLIES education in {Bachelors, Some_college, Masters, Doctorate};
    
END;
