Правила ( 1 ) и ( 2 ) определяют предикат introducesClosure как транзитивное замыкание по свойству « introduces » .
которому должно соответствовать правильное информационное наполнение .
Сформулируем это ограничение в виде правил - продукций : introducesClosure(T1 , T2 ) : — introduces(T1 , T2 ) ( 1 ) introducesClosure(T1 , T3 ) : — introduces(T1 , T2 ) , introducesClosure(T2 , T3 ) ( 2 ) requirementForClosure(R , T2 ) : — requirementFor(R , T1 ) , introducesClosure(T1 , T2 ) ( 3 ) Правила ( 1 ) и ( 2 ) определяют предикат introducesClosure как транзитивное замыкание по свойству « introduces » .
Эти три правила ( ( 1)-(3 ) ) задают условие , которому должно соответствовать правильное информационное наполнение .