SYNTHESIZE: Adult;
      
    ENFORCE: IMPLICATION:
        marital_status == Widowed OR relationship == Wife IMPLIES sex == Female;

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

END;
