5.3 前提的语义分析