带有标签術式展開的模型