#1: bottles(n):=if(n=1," bottle "," bottles ")

#2: beers(n) := ADJOIN(n, APPEND(bottles(n),"of beer"))

#3: first_line(n):= If(n>0,
                   APPEND(beers(n), " on the wall, ", beers(n) , "."),
                  "No more bottles of beer on the wall, no more bottles of beer")

#4: share := "Take one down and pass it around, "

#5: second_tail(n)