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