PanLinx
普通话
cmn-000
演绎过程
English
eng-000
deductive procedure
PanLex
