英语 ⇄ 俄语 +

quantifier-free uninterpreted function 强调
人工智能	бескванторная неинтерпретируемая функция (Alex_Odeychuk)