展开 命题构æˆ