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