Nested with statements can be abbreviated. The form: 

with R1, R2, ... , Rn do S 

is equivalent to 

with R1 do with R2 do with Rn do S 

Thus the example defining a person p can be rewritten: 

with P, Name, Birth do begin Last := 'Whitcomb ' ; First := 'William Height := 186; Sex := Male; Year := 1951; Mo := Sep; Day := 12; Depdts : = 1; MS := Single; end { with } , . , 

An example which illustrates scopes of field identifiers follows. Whereas: 

var A: array [2 .. 8] of Integer; A: 2 .. 8; 

is not allowed, because the definition of A is ambiguous, 

var A: Integer; B: record A: Real; B: Boolean end; 

is allowed, because the notation for the integer A is easily distinguishable from the real B. A. Likewise, the record variable B is distinguishable from the Boolean B . B. Within the qualified statement S III 

with B do S 

the identifiers A and B now denote the components B. A and B. B respectively, and the integer variable identified by A is inaccessible. 

