refinement: representation -> [parse] tree.