
SYNTHESIZE: HealthHeritageBinaryAge;

    ENFORCE: IMPLICATION: 
        PrimaryConditionGroup == PRGNCY IMPLIES Sex == F;

END;
