Production Rule for Functional Requirement # 9c

<RECORDS Auditable> (9.0c) :
<Use RECORD TRANSACTION> (9.0C1)

Metadata