Semantic resolution implementation intermediate result