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