ShEx specification in Z