英语 ⇄ 俄语 +

subtype predicate 强调
编程	предикат подтипа (средство контрактного программирования в языке программирования Ada 2012 Alex_Odeychuk)

subtype predicate : 3 短语, 1 学科

编程

3