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

END;
