אנגלית ⇄ רוסית +

correlated predicates מתח
.תִכנו	коррелированные предикаты (два или более предикатов в пути модели называются коррелированными, если значение истинности для одного из них определяет значения истинности для всех остальных предикатов в этом пути ssn)