带有标签reverse deduction的模型