PanLinx
普通话
cmn-000
递归等价性
English
eng-000
recursive equivalence
PanLex
