Production Rule for Functional Requirement # 4

<SYSTEM Consistent> (4.0) :

<OUTCOME Consistent> (4.0a)

<SYSTEM Logical> (4.0b)

<FAILURES Evident> (4.0c)

<FAILURES Corrected> (4.0d)