带有标签contradiction的模型