There may be more than one such permutation, but <cite>Nivre (2009)</cite> defines the canonical projective order < G for x given G as the order given by an inorder traversal of G that respects the order < between a node and its direct dependents.