column value
英文名稱 unary predicate calculus
中文名稱 單述詞演算