A tree can be specified by attaching a variable e n to each node n in the forest, indicating which hyperedge is turned on at the current node.
each assignment will specify a unique tree by tracing the edge variables from the root down to the leaves.