column value
英文名稱 monadic predicate calculus
中文名稱 一元謂詞演算