English ⇄ Russian +

change of bound propositional and functional variables stresses
math.	замена связанных пропозициональных и функциональных переменных (ssn)

change of bound : 3 phrases in 1 subject

Mathematics

3