Write syntax tree specification