PanLinx
普通话
cmn-000
永真蕴涵
English
eng-000
tautological implication
PanLex