PanLinx
普通话
cmn-000
前束析取范式
English
eng-000
prenex-disjunctive normal form
PanLex