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