SYNTHESIZE: Adult;

    ENFORCE: STATISTICAL:
        0.5 * E[age|sex==Male] >= 0.5 * E[age|sex==Female] AND 0.5 * E[age|sex==Male] <= 0.5 * E[age|sex==Female];
    
    MAXIMIZE: STATISTICAL:
        E[age|sex==Male] - E[age|sex==Female];

END;
