right hand side of a hedge production, deriving a single tree
right hand side of a tree production, labelled with a letter from an alphabet
right hand side of a tree production
right hand side of a hedge production, deriving any hedge
right hand side of a hedge production, deriving the empty hedge