PanLinx
普通话
cmn-000
实质条件命题
English
eng-000
material conditional statement
PanLex