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