PanLinx
普通话
cmn-000
逻辑式
English
eng-000
logical formula
PanLex