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