SYNTHESIZE: Adult;

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

    MAXIMIZE: STATISTICAL:
        E[age];

    MAXIMIZE: STATISTICAL:
        E[age|sex==Male] - E[age|sex==Female];

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

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