PanLinx
普通话
cmn-000
幂集公理
PanLex
