带有标签symbolic elements的模型