#lang brag

top : xs | ys | zs
xs : () | "x" xs
ys : Ø | "y" /ys
zs : ∅ | "z" @zs