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