PanLinx
普通话
cmn-000
公理探索
English
eng-000
axiomatic approach
PanLex