英语 ⇄ 俄语 +

evaluation of propositions in a state 强调
编程	вычисление высказываний в данном состоянии (ssn)