By convention, the left-hand-side of the first production is the start-symbol of the grammar, typically S, and all well-formed trees must have this symbol as their root label.
It is also a very intuitive step as it follows the shape of the AST quite closely. As before, a key motivation is natural language understanding.
Would we be justified in calling this corpus "the language of modern English"? Here's an impressive example from a Winnie the Pooh story by A.
This looks like a coordinate structure, where two phrases are joined by a coordinating conjunction such as and, but or or. Is it a large but finite set of observed utterances and written texts? Incrementality, part I The notion of incrementality that comes builtin with Menhir is slightly weaker than what you are looking for.
But it turns out that a trivial extension to the parser can also solve your case.