$$ Record ::= "[" Symbol-Value-Pair {"," Symbol-Value-Pair} "]" . $$ Symbol-Value-Pair ::= Expression ":" Expression .
A record is a collection of attributes. An attribute consists of a symbol, the attribute name, and an associated attribute value, which can by an arbitrary Malaga value. The attribute name serves as an access key for the attribute value, so all attributes in a record must have different names.
Records are noted down as follows:
[name1: value1, name2: value2,where name i denotes an attribute name and value i the associated attribute value. Example: ``[Class: Verb, Reg: Reg, Val: dirObj]''.]
A record with no attributes, ``[]'', is called empty record.