PanLinx
普通话
cmn-000
逻辑积标准形
English
eng-000
canonical conjunctive form
PanLex
