Production Rule for Functional Requirement # 4a

<OUTCOMES Consistent> (4.0a) :

<Equal PROCESS(Transaction Time1) PROCESS(Transaction Time2) )> (4.0a1)