PanLinx
普通话
cmn-000
演绎理论
English
eng-000
deductive theory
PanLex