PanLinx
普通话
cmn-000
部分递归谓词
English
eng-000
partial recursive predicate
PanLex