Semantic_resolution_tree