column value
英文名稱 existential quantifier
中文名稱 存在量詞