做完了结构蕴含基础，准备做结构蕴含的扩展及tableau。