PanLinx
普通话
cmn-000
经典语句演算
English
eng-000
classical sentential calculus
PanLex