Deļ¬nition: 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.
(a VAL v)
o
v