Выдержка из книги
Линдси Ч.N.
Неформальное введение в Алгол 68
Первые два присваивания в - этом примере определенно будут низведены. Будет ли низведено также и третье, зависит от того, требует ли контекст, в который входит все замкнутое-предложение в целом, какого-нибудь вида.