In addition to the free-form text version of a composition, BellBoard allows you to enter a machine-readable version which BellBoard will use to prove the composition. BellBoard can also be used as an online prover, without having to attach the composition to a performance.
Machine-readable compositions should be entered in Microsiril syntax, which is the proof format accepted by several popular peal proving programs such as Sirilic and GSiril. This page gives a brief summary to Microsiril syntax, by way of an example: the unshortened version of Charles Middleton’s 5600, which we will prove to Quedgeley Surprise Major.
In this example, the first line states the number of bells involved in the method — so for triples it would be 7, even if a tenor is covering. Frequently this line is unnecessary in BellBoard's prover as it can usually infer the number of bells from the title of the composition.
Each of the subsequent lines, other than the blank ones, contain a
single definition, many of which reference other definitions.
They are conventionally ordered in a top-down fashion, starting with
the global structure of the peal — here a regular five part.
If you prefer to arrange the definitions differently, finish the
composition with a line reading
Repetition is indicated by prefixing the thing to be repeated by
the number of times it is to be rung.
Commas are used to separate blocks rung consecutively. Thus
Place notation must be prefixed with a plus or an ampersand, the
ampersand denoting that the block is to be expanded palindromically,
The following compositions are good examples of machine-readable compositions in Microsiril syntax:
|Copyright © 2012–22, The Ringing World.|