PanLinx
普通话
cmn-000
命题逻辑的外延性原理
PanLex
