Recent work under the theoretical banner of Agreement by Correspondence (ABC) has produced a variety of different – and sometimes contradictory – formulations of the constraints central to this framework. In OT, the effects of such definitional choices come out in the factorial typologies they predict. Yet knowing what languages a theoretical system derives is insufficient unless we know why it does so. This requires analysis of the internal ranking structures of the typology itself. This paper compares the typologies produced under different proposed modifications to the main ABC constraints. We analyse the typologies in Property Theory, a theory of typological organisation in OT. Our analyses show that all variations have a common core structure, and that differences in their factorial typologies reduce to differences in how this common structure expands and iterates for different features. This allows for precise delineation of how and why different ABC constraint definitions affect typologies.

中文翻译：

---

ABC 约束定义的类型效应

最近在通信协议 (ABC) 的理论旗帜下的工作产生了各种不同的——有时是相互矛盾的——对该框架核心约束的表述。在 OT 中，这种定义选择的影响体现在他们预测的因子类型中。然而知道什么除非我们知道，否则理论体系所推导出的语言是不够的为什么它这样做了。这需要分析类型学本身的内部排名结构。本文比较了在对主要 ABC 约束的不同提议修改下产生的类型。我们分析了财产理论中的类型学，这是一种旧约类型学组织的理论。我们的分析表明，所有变体都具有共同的核心结构，并且它们的因子类型的差异减少了这种共同结构如何扩展和迭代不同特征的差异。这允许精确描述不同的 ABC 约束定义如何以及为什么影响类型。