英语 ⇄ 俄语 +

logic checker 强调
编程	инструмент проверки логических аннотаций (в коде на языке программирования Java Alex_Odeychuk)