proposal for parse-tree output