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.

Microsiril syntax

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 prove peal, where peal is whatever name you’ve used for the symbol representing the whole composition.

Repetition is indicated by prefixing the thing to be repeated by the number of times it is to be rung. 5 part is an example of that, and means that the part symbol is to be repeated four times — i.e. rung five times. An asterisk can optionally be inserted after the number (e.g. 5 * part), and the space can be omitted.

Commas are used to separate blocks rung consecutively. Thus p,p,b,p,p,p,p represents two plain leads, a bob, and four more plains. It could have been written more concisely as 2p,b,4p. Paretheses can be used to force the repetition of several consecutive blocks. For example, three bobs home can be written 3(6p,b).

Place notation must be prefixed with a plus or an ampersand, the ampersand denoting that the block is to be expanded palindromically, thus & means the same as + The cross change can be represented -, x or X, and dots may be omitted when next to the cross change.

The following compositions are good examples of machine-readable compositions in Microsiril syntax:

Music analysis

The Music to analyse box allows you to specify the specific forms of music to look for. The field takes a comma- and/or space-separated list of music patterns.