PanLinx
普通话
cmn-000
命题逻辑式
English
eng-000
well-formed formula
PanLex
