Semantic analysis overview