The order is only valid in a root-segment prolog.