PanLinx
普通话
cmn-000
成形的相继式
English
eng-000
well-formed sequent
PanLex