PanLinx
普通话
cmn-000
三阶谓词演算
PanLex