Production Rule for Functional Requirement # 4d

<FAILURES Corrected> (4.0d) :

<PROCESSES Recovered> (4.0d1)

<PROCESSES Re-executed> (4.0d2)