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