带有标签formation的模型