展开 蕴含式怎么理解