Anglais ⇄ Russe +

the basic idea is that contraintes
citat.	основная идея состоит в том, что (компании AdaCore, North American Office Alex_Odeychuk)