SYNTHESIZE: Adult;
      
    ENSURE: DIFFERENTIAL PRIVACY:
        EPSILON=<epsilon>, DELTA=1e-9;
    
    ENFORCE: IMPLICATION: PARAM <param1>:
        marital_status in {Divorced, Never_married} IMPLIES relationship not in {Husband, Wife};
    
END;
