PanLinx
普通话
cmn-000
变元的有效性
English
eng-000
validity of an argument
PanLex