带有标签symbolic的模型