SYNTHESIZE: Adult;

    ENFORCE: LINE CONSTRAINT: PARAM <param1>:
        sex == Female;
    
END;
