SYNTHESIZE: Adult;
      
      ENSURE: DIFFERENTIAL PRIVACY:
            EPSILON=<epsilon>, DELTA=1e-9;
        
      ENFORCE: IMPLICATION: PARAM <param1>:
            marital_status == Widowed OR relationship == Wife IMPLIES sex == Female;

END;
