Our model assigns non-zero probabilities to trees that can be obtained by permuting the child nodes at various interior nodes of the tree S. We assume that children of a node are ordered independently of all other nodes in the tree.
where I(S) is the set of interior nodes in the tree S, c n is the list of children of node n and π is a permutation.