PanLinx
普通话
cmn-000
假言三段论规则
PanLex
