PanLinx
普通话
cmn-000
命题变元
English
eng-000
propositional variable
PanLex
