Anglais ⇄ Russe +

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