PanLinx
普通话
cmn-000
可决策命题
English
eng-000
decidable proposition
PanLex