PanLinx
普通话
cmn-000
形式蕴涵
English
eng-000
formal implication
PanLex