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

type predicate מתח
.תִכנו	предикат типа (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk)