带有标签substitution的模型