Production Rule for Functional Requirement # 3a-b

<SYSTEM In_Effect> (3.0a)

<Processed_By TRANSACTION PROCEDURE> (3.0a1)

<SYSTEM In_Effect> (3.0a) :

<Processed_By TRANSACTION EXCEPTION_PROCEDURE> (3.0a1)