PanLinx
普通话
cmn-000
演绎定理演绎定理
English
eng-000
deductive theorem
PanLex
