PanLinx
普通话
cmn-000
基本命题函数
English
eng-000
basic propositional function
PanLex