带有标签semiperfect cell的模型