In this work the size of the grammar and the number of productions are fixed and small, but we present the formulation as infinite to allow for easy extension in the future.
this framework allows for extensions which grow the grammar during parsing/training or fully lexicalize the productions.