SYNTHESIZE: Adult;
      
    ENFORCE: IMPLICATION: PARAM <param1>:
        marital_status == Widowed OR relationship == Wife IMPLIES sex == Female;

    ENFORCE: IMPLICATION: PARAM <param2>:
        marital_status in {Divorced, Never_married} IMPLIES relationship not in {Husband, Wife};
    
    ENFORCE: IMPLICATION: PARAM <param3>:
        workclass in {Federal_gov, Local_gov, State_gov} IMPLIES education in {Bachelors, Some_college, Masters, Doctorate};

    ENFORCE: LINE CONSTRAINT: PARAM <param4>:
        sex == Female;

    ENFORCE: LINE CONSTRAINT: PARAM <param5>:
        age > 35 AND age < 55;

END;
