The context-free grammar given in Section C.2 for input syntax is quite ambiguous. This section explains various precedence rules for disambiguation, and the intended grouping of mixfix formulae and terms (which is to be recognized in a separate phrase, dependent on the declared symbols and parsing annotations).