带有标签consistency derived的模型