column value
英文名稱 restricted predicate calculus
中文名稱 狹謂詞演算