Production Rule for Functional Requirement # 9b

<RECORDS Coherent> (9.0b) :

<SYSTEM Changed> (9.0b1)

<Equivalent Structure(RECORD ?T1) Structure(RECORD ?T1)> (9.0b2)

Metadata