PanLinx
普通话
cmn-000
形式逻辑推理
English
eng-000
formal logic inference
PanLex