Если возникает необходимость расположить один оператор with внутри другого, то любую переменную (если перед ней явно не указано имя записи), находящуюся под внутренним оператором with, компилятор пытается интерпретировать в такой последовательности:
Например:
type date = record day: 1..31; month: 1..12; year: 1900..2005; end; student = record name: string[100]; year: 1950..2005; {год поступления} gruppa: string[5]; birth: date; end; var ivanov: student;
begin ... with ivanov do begin ... with birth do begin ... year:= 2001; {birth.year} gruppa:= 'IT01'; {ivanov.gruppa} ... end; ... end; end;