PanLinx
普通话
cmn-000
演绎定律
English
eng-000
law of deduction
PanLex