half way through Semantic analysis