PanLinx
普通话
cmn-000
形式变元
English
eng-000
formal argument
PanLex