英语 ⇄ 俄语 +

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