4.3.3 语义分析