PanLinx
國語
cmn-001
複合三段論
English
eng-000
sorites
PanLex