英语 ⇄ 俄语 +

class-wide precondition expression 强调
编程	выражение-предусловие для надклассового типа (корпорации AdaCore Alex_Odeychuk)