/  1280 St Clement's College Bob Major
/  Composed by J. White

8 Bells
m = +X.18.x.38.x.38.x.38.x.38.x.38.x.18.x
p = m, +12
b = m, +14
s = m, +1234
head = "12345678 M I 4 O V W H"
line = "-------- -------------"
c1 = b, b, b, b, b, p, p
d1= c1,"@ - - - - -"
c2 = b, p, b, p, p, b
d2 = c2,"@ -     -     -"
c3 = p, p, p, p, p, p, b
d3 = c3,"@             -"
c4 = b, p, b, p, s, b
d4 = c4,"@ -     -   S -"
c5 = p, p, p, p, p, b, p
d5 = c5,"@           -"
tail = "Repeat."

qa = d1,d2,d3,d3,d4,d5
ra = c1,c2,c3,c3,c4,c5
quarter = head, line, qa, ra, tail
prove quarter