Production Rule for Functional Requirement # 9a

<RECORDS Inviolate> (9.0a) :

<Equal Content(RECORD ?T1) Content(RECORD ?T2)> (9.0a1)

Metadata