It is clear that the BULM derivation converts a parse tree into a unique sequence of parse events, and a valid event sequence corresponds to a unique parse tree.
a parse tree can be equivalently represented by a sequence of events.