英语 ⇄ 俄语 +

the semantics behind modeling elements are captured in their specifications 强调
编程	семантика элементов модели фиксируется в их спецификациях (ssn)