VJAW, chapter 20, page 311 This is actually a consequence of the syntax rule on page 311: the target of an Assignment must be a Writable, defined on page 276 as either an attribute or a local entity (including Result).