Anglais ⇄ Russe +

integer predicate expressions contraintes
progr.	целочисленные условные выражения (ssn); целочисленные предикативные выражения (ssn)
integer predicate expression
progr.	целочисленное условное выражение (ssn); целочисленное предикативное выражение (ssn)