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