SYNTHESIZE: Adult;

    MINIMIZE: FAIRNESS: PARAM <param1>:
        DEMOGRAPHIC_PARITY(protected=sex, target=salary, lr=0.1, n_epochs=15, batch_size=256);

    ENFORCE: STATISTICAL: PARAM <param2>:
        E[age] == 30;

    ENFORCE: STATISTICAL: PARAM <param3>:
        E[age|sex==Male] == E[age|sex==Female];

    ENFORCE: IMPLICATION: PARAM <param4>:
        workclass in {Federal_gov, Local_gov, State_gov} IMPLIES education in {Bachelors, Some_college, Masters, Doctorate};

    ENFORCE: IMPLICATION: PARAM <param5>:
        marital_status in {Divorced, Never_married} IMPLIES relationship not in {Husband, Wife};
        
END;
