Re: else ladders practice

>
     x := (n | a, b, c, ... | z)

 
It's a version of Algol68's case construct:
 
   x := CASE n IN a, b, c OUT z ESAC
 
which also has the same compact form I use. I only use the compact
version because n is usually small, and it is intended to be used within
an expression: print (n | "One", "Two", "Three" | "Other").