Production Rule for Functional Requirement # 4b

<SYSTEM Logical> (4.0b) :

<Equal TEST(SYSTEM_LOGIC) (BUSINESS_LOGIC)> (4.0b1)