PanLinx
普通话
cmn-000
古典逻辑
English
eng-000
classical logic
PanLex