PanLinx
普通话
cmn-000
演绎逻辑
English
eng-000
deductive logic
PanLex
