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