PanLinx
普通话
cmn-000
一般递归谓词
English
eng-000
general recursive predicate
PanLex