PanLinx
普通话
cmn-000
层次片段定理
English
eng-000
hierarchy segment theorem
PanLex