Production Rule for Functional Requirement # 4c

<FAILURES Evident> (4.0c) :

<Create FAILURE RECORD> (4.0c1)