Consider a data item X denoting an object T. If T has an attribute A – data-item, or pattern, then
X.Adenotes the A attribute of X.
If A is a data-item, then X.A denote the object referred by X.
If A is a unary pattern, then X.A is an object generator.
If A is a functional pattern, then X.A(e1,e2,e3) is an object generator.
If A = kw1:kw2:w3, then X.kw1(e1):kw2(e2):kw3(e3) is an object generator
If A = ## – a binary pattern, then A ## e is an object generator – note that the dot (‘.’) is not used.