====== VAL: Relation Between Attribute and Value ======

**Definition**: The statement ''(a VAL v)'' establishes a connection between an attribute that is assigned to a certain individual object ''o'' (see [[ATTR]]) and a concept ''v'', the value of this attribute with regard to ''o''.