
SYNTHESIZE: HealthHeritage;

    ENFORCE: IMPLICATION: PARAM <param1>:
        PrimaryConditionGroup == PRGNCY IMPLIES Sex == F;

END;
