英语 ⇄ 俄语 +

induction on derivation trees 强调
编程	индукция на деревьях вывода (типов ssn); индукция на деревьях вывода типов (ssn)