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

integral predicate מתח
.תִכנו	интегральный предикат (habr.com dimock)