Linearization proceeds in a way that is very close to a pre-order traversal of the tree, except that the relative position of the root node of a subtree is explicitly specified in the order annotation.
to linearize an order-annotated tree, we look into the local order !.u/ annotated at the root node of the tree, and concatenate the linearizations of its constituent parts.