| Subject | English | Russian |
| progr. | predicate of a subtype | предикат подтипа (корпорации AdaCore Alex_Odeychuk) |
| progr. | satisfy the predicates of a subtype | удовлетворять предикатам подтипа (Alex_Odeychuk) |
| progr. | subtype predicate | предикат подтипа (средство контрактного программирования в языке программирования Ada 2012 Alex_Odeychuk) |