אנגלית ⇄ רוסית +

substitutional quantification מתח
.פִילו	подстановочная квантификация (AndreiBu)