A record is a collection of attributes. An attribute consists of a symbol, the attribute name, and an associated attribute value, which can be an arbitrary Malaga value. The attribute name serves as an access key for the attribute value, so all attributes in a record must have distinct 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]
.