column value
英文名稱 extended predicate calculus
中文名稱 廣義謂詞演算