PanLinx
普通话
cmn-000
极小命题演算
English
eng-000
minimal propositional calculus
PanLex