Английский ⇄ Русский +

type predicate ударения
прогр.	предикат типа (в языке императивного объектно-ориентированного параллельного программирования Ada 2012 Alex_Odeychuk)