column value
英文名稱 unbounded universal quantifier
中文名稱 無界全稱量詞