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

END;
