英语 ⇄ 俄语 +

assertion set as input-output 强调
编程	множество фактов как входные и выходные данные (ssn)