This paper proposes a unified dependent type analysis of three puzzling phenomena: inversely linked interpretations, weak definite readings in possessives and Haddock-type readings. We argue that the three problematic readings have the same underlying surface structure, and that the surface structure postulated can be interpreted properly and compositionally using dependent types. The dependent type account proposed is the first, to the best of our knowledge, to formally connect the three phenomena. A further advantage of our proposal over previous analyses is that it offers a principled solution to the puzzle of why both inversely linked interpretations and weak definite readings (in contrast to Haddock-type readings) are blocked with certain prepositions.

中文翻译：

---

反向链接、所有弱定义和黑线鳕描述：统一依赖类型帐户

本文提出了三种令人困惑的现象的统一依赖类型分析：反向链接解释，所有格中的弱确定阅读和黑线鳕类型阅读。我们认为这三个有问题的读数具有相同的底层表面结构，并且可以使用依赖类型正确和组合地解释假设的表面结构。据我们所知，所提出的依赖类型帐户是第一个正式连接这三种现象的方法。我们的提议相对于之前的分析的另一个优势在于，它提供了一个原则性的解决方案，解决了为什么反向链接的解释和弱确定的阅读（与黑线鳕类型的阅读相反）都被某些介词挡住的难题。