我们的数据有两种类型的合成实例：我们将真实的声明句子与生成的支持或不支持它们的文档配对，以及将真实的文档与生成的声明配对。通过结构化的生成程序，我们可以使这些非常具有挑战性。