There is no ambiguity in the z-expression syntax as far as I have been able to detect. Following the straight-forward rule of right-associative application:

There is no ambiguity in the z-expression syntax as far as I have been able to detect. Following the straight-forward rule of right-associative application: k g h i j → k (g h i j) → k (g h (i j)) In Lisp syntax: (k (g h (i j))