PanLinx
普通话
cmn-000
运算的语义
English
eng-000
operational semantics
PanLex