EBNF grammar draft for specifying constraints.