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

predicate check failure מתח
.תִכנו	неудачная проверка предиката (корпорации AdaCore Alex_Odeychuk)