Production Rule for Functional Requirement # 2a

<Defined TRANSACTIONS POLICIES> (2.0a2) :

<POLICIES Written> (2.0a2a)

<POLICY_CHANGES Written> (2.0a2b)

<POLICY_CHANGES Maintained> (2.0a2c)

<POLICIES Up-to-Date> (2.0a2d)

<Defined TRANSACTIONS PROCEDURES> (2.0a3) :

<PROCEDURES Written> (2.0a3a)

<PROCEDURE_CHANGES Written> (2.0a3b)

<PROCEDURE_CHANGES Maintained> (2.0a3c)

<PROCEDURES Up-to-Date> (2.0a3d)