PanLinx
普通话
cmn-000
命题逻辑公式
PanLex
