PanLinx
普通话
cmn-000
数学推论
English
eng-000
mathematical inference
PanLex