Предикат failRequirement должен содержать те пары вида спецификация-тикет ,
срабатывание данного правила соответствует ошибочной ситуации ,
В связи с этим следующим шагом является написание диагностического правила : failRequirement(R , T ) : — requirementForClosure(R , T ) , not requirementFor(R , T ) ( 4 ) Предикат failRequirement должен содержать те пары вида спецификация-тикет , которых не было в системе , но которые должны в ней быть , следуя описанным ограничениям .
Исходя из этого , срабатывание данного правила соответствует ошибочной ситуации , когда в СОЗ у тикета T не проставлена спецификация R. После верификации информационное наполнение может быть скорректировано администратором СОЗ таким образом , чтобы диагностические предикаты стали « пустыми » после следующей итерации .