Process algebra and JSONPath descendant segment semantics

One question the JSONPath Working Group had to wrestle with in specifying RFC 9535 was how much non-determinism to allow in the semantics...