5.3 蕴含分析