column value
英文名稱 bounded quantifier
中文名稱 約束量詞