semantic_resolution_tree