英语 ⇄ 俄语 +

extensional predicate 强调
编程	экстенсиональный предикат (в языке логического программирования Datalog Alex_Odeychuk)