Inverse Linking, Possessive Weak Definites and Haddock Descriptions: A Unified Dependent Type Account

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.


Introduction
This paper focuses on three types of complex DPs: inverse linking constructions (May 1978(May , 1985Larson 1985;Zimmermann 2002;Kobele 2010), possessive definite descriptions (Löbner 1985(Löbner , 2011Poesio 1994;Barker 2005;Peters and Westerståhl 2013) and Haddock descriptions (Haddock 1987;Champollion and Sauerland 2011;Sailer 2014;Bumford 2017). Inverse linking constructions, e.g., a representative of every country, allow the inversely linked interpretation in which the embedded quantifier phrase (every country) takes scope over the embedding one (a representative). Scoping out of DP islands represents an unresolved difficulty for standard LF-based B Justyna Grudzińska j.grudzinska@uw.edu.pl Marek Zawadowski zawado@mimuw.edu.pl 1 Institute of Philosophy, University of Warsaw, Warsaw, Poland 2 Institute of Mathematics, University of Warsaw, Warsaw, Poland scope-assignment strategies (see, e.g., Kratzer and Heim 1998;Zimmermann 2002). Possessive definite descriptions (possessive definites) and Haddock descriptions (Haddock definites) pose a puzzle for standard theories of definiteness based on uniqueness. Possessive definites, e.g., the student (sister, son) of a linguist, can be used in a situation in which linguists in question have more than one student (sister, son)-they carry no implication that only one individual satisfies the content of the description. Haddock definites, e.g., the rabbit in the hat, can be used successfully in contexts with multiple salient hats and multiple salient rabbits as long as there is a single rabbit-in-a-hat pairthey carry no standard requirements that there be exactly one hat, with exactly one rabbit in it. All three phenomena are nominal constructions involving quantification and relations that are not functional but (possibly) one-to-many ('representing', 'being a sister of ', etc.). We shall argue that dependent types are well suited to modeling the interaction of non-functional relations and quantification.
Dependent type theoretical frameworks (Martin-Löf 1975;Martin-Löf and Sambin 1984;Makkai 1995) have been used to model linguistic phenomena of central importance, e.g., unbound anaphora (Ranta 1994;Fernando 2001;Cooper 2004;Grudzińska and Zawadowski 2014;Bekki 2014), lexical phenomena such as selectional restrictions and coercions (Asher 2011;Luo 2012;Chatzikyriakidis and Luo 2017b), adjectival and adverbial modification (Chatzikyriakidis and Luo 2017a) and long-distance indefinites (Grudzińska and Zawadowski 2017d). This paper argues that the three puzzling readings (inversely linked interpretations, weak definite readings in possessives and Haddock-type readings) provide another compelling example of application of dependent types to the study of natural language semantics. Specifically, we propose that the three readings under consideration have the same underlying surface structure [introduced and independently motivated in Zimmermann (2002) and Barker (2005)], and that the surface structure postulated can be interpreted properly and compositionally using dependent types. Other directly compositional (non-movement) accounts of the phenomena in question have been proposed [for inverse linking, see Hendriks (1993); Barker (2002); for possessive weak definites, see Löbner (1985); Barker and Shan (2014); for Haddock definites, see Haddock (1987); Bumford (2017)]. However, to the best of our knowledge, our proposal is the first to formally connect the three phenomena. A further advantage of our dependent type account over previous directly compositional 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, e.g with, as in someone with every known skeleton [example from May and Bale's (2005)] or the student with a brown jacket [example from Poesio's (1994)].
In the rest of the paper we shall show that our semantic framework with dependent types provides us with uniform and adequate mechanisms to model the three puzzling phenomena. The structure of the paper is as follows. In Sect. 2, we explain the main features of our semantic framework [as presented in Zawadowski (2014, 2017a)], most notably the concept of type dependency and type-theoretic notion of context. Section 3 puts forth our dependent type analysis of inverse linking constructions [key parts of this section were already presented in Grudzińska and Zawadowski (2017b), here we expand on this material with more technical details and explanations]. In Sect. 4, we present a new treatment of possessive weak definites, and in Sect. 5, we propose our dependent type solution to Haddock's puzzle. Section 6 offers a principled answer to the puzzle of why inversely linked interpretations and weak definite readings are blocked with certain prepositions (in contrast to Haddocktype readings). Section 7 explains the remaining details of our compositional analysis, before concluding in Sect. 8.

Semantics with Dependent Types
In this section, we give an introduction to the main features of our semantic framework with dependent types (emphasizing those relevant for this paper), and explain how common nouns (sortal and relational), quantifier phrases (QPs) and predicates are to be interpreted in this framework.

Context and Type Dependency
The concept of dependent types is at the heart of dependent type theoretical frameworks (Ranta 1994;Luo 2012;Bekki 2014;Fernando 2001;Cooper 2004). Our semantic system can be seen as many-sorted in that it contains many sorts (types) (as compared with Montague semantics which is single-sorted in that it has one basic type e of all entities-strictly speaking, it has also another 'auxiliary' basic type t of truth values, and a recursive definition of functional types). The variables of our system are always typed: x : X , y : Y , . . .; types are interpreted as sets: X , Y , . . . In our system, types can depend on the variables of other types, e.g., if x is a variable of the type X , we can have type Y (x) depending on the variable x. The fact that Y is a type depending on X is to be modeled as a function: π : Y → X , the intended meaning being that each type Y (x) is interpreted as the fiber Y (a) of π over a ∈ X (the inverse image of the singleton {a} under π ). If X is a type and Y is a type depending on X , we can also form dependent sum types Σ x:X Y (x) (whose interpretation consists of pairs a, b such that a ∈ X and b ∈ Y (a)) and dependent product types Π x:X Y (x) (whose interpretation consists of functions which assign to each a ∈ X an element of Y (a)). For the purposes of this paper, we only need Σ-types; Σ x:X Y (x) is to be interpreted as the disjoint sum of fibers over elements in X : i.e., it is (in bijective correspondence with) the set Y .
Context is another core trait of dependent type theoretical frameworks. For us context is (a linearization of) a partially ordered set of type declarations of the (individual) variables such that the declaration of a variable x of type X precedes the declaration of a variable y of type Y (x): In the above example, type Y depends on the variable x of type X ; type Z depends on the variables x and y of types X and Y , respectively; and types X and U are constant types (i.e., they do not depend on any variables). 1 Having a context Γ as above, we can declare a new type T in that context and a new variable of this type in that context, and extend the context by adding this new variable declaration. The empty context ∅ is a valid context. If Γ is a valid context, t is a new free variable (i.e., t / ∈ F V (Γ )), and T is a type in the context Γ , then the extension of Γ by (a free variable of) the type T , denoted Γ, t : T , is also valid.
Contexts can be represented as dependence graphs. A dependence graph for the context Γ is a graph that has types occurring in Γ as vertices, and an edge π Y ,x : Y → X for every variable declaration x : X (. . .) in Γ and every type Y (. . . , x, . . .) occurring in Γ that depends on x: The corresponding semantic notion is that of a dependence diagram. The dependence diagram for the context Γ associates to every type X in Γ a set X , and to every edge π Y ,x : Y → X , a function π Y ,x : Y → X , so that whenever we have a triangle of edges (as on the left), the corresponding triangle of functions commutes (i.e., π Z ,x = π Y ,x • π Z ,y ): The interpretation of the context Γ , the dependence diagram, gives rise to the parameter space Γ which is the limit 2 of the dependence diagram (i.e., the set of compatible n-tuples of the elements of the sets corresponding to the types involved). 3 For the For more technical details and explanations about our notion of context, we refer the reader to our system presented in Grudzińska and Zawadowski (2017a). 1 We adopt the convention that the variables the types depend on are always explicitly written down in type specifications. 2 By this we mean the (categorical) limit of the described (dependence) diagram in the category Set of sets and functions. The notion of a limit used here is the usual category-theoretic notion. In particular, the notion of a parameter space makes sense in any category with finite limits. However, the definition we give in the text is a standard representation of this limit and does not require any knowledge of Category Theory. 3 For a ∈ X , b ∈ Y , c ∈ Z , we say that a triple a, b, c is compatible iff π Y ,x (b) = a, π Z ,y (c) = b, π Z ,x (c) = a.

(Relational) Common Nouns as (Dependent) Types
A difference between our framework and Montague semantics lies in the interpretation of common nouns, sortal and relational. In the Montagovian setting sortal common nouns (e.g., man, country) are modeled as predicates/one-place relations (expressions of type e, t ). In our framework they are treated as types, e.g., man is modeled as the type M(an) and extends the context by adding a new variable m of the type M, with M being interpreted as the set M of men. In the Montagovian setting relational common nouns (e.g., representative, sister) are interpreted as two-place relations (expressions of type e, e, t ). Our framework allows us to treat relational common nouns as dependent types, e.g., representative (as in a representative of a country) is modeled as the dependent type: Here if we interpret type C as the set C of countries, then we can interpret R as the set of the representatives of the countries in C , i.e., as the set of pairs: R = { a, p : p is the person from the country a} equipped with the projection π R,c : R → C . The particular sets R (a) of the representatives of the country a can be recovered as the fibers of this projection (the inverse images of {a} under π R,c ): The interpretation of the structure: gives us access to the sets (fibers) R (a) of the representatives of the particular country a only. To form the set of all representatives, we need to use Σ type constructor which takes the sum of fibers of representatives over countries in C : Our system makes no use of assignment functions; variables serve to determine dependencies and act as an auxiliary syntactic tool to determine how the operations combining interpretations of QPs and predicates are to be applied. Types, as opposed to predicates, denote collections which can be quantified over.

QPs and Predicates in Context
Both quantifier phrases and predicates are defined in contexts. In a quantifier phrase: the variable y is the binding variable and the variables x = x 1 , . . . , x k are indexing variables. We have a polymorphic interpretation of quantifiers. A generalized quantifier associates to every set Z a subset of the power set of Z : In the standard Montagovian setting QPs are interpreted over the universe of all entities E Montague (1973). For example, some country denotes the set of subsets of E: In our semantic framework QPs are interpreted over various types. For example, some country is interpreted over the type Country (given in the context), i.e., some country denotes the set of all non-empty subsets of the set of countries: Quantification is also allowed over fibers, e.g., we can quantify existentially over the fiber of the representatives of France, as in some representative of France: We also have a polymorphic interpretation of predicates. If we have a predicate P defined in a context Γ : then, for any interpretation of the context Γ , it is interpreted as the subset of its parameter space, i.e., P ( Γ ) ⊆ Γ .
In this system, dependencies given in the context determine the relative scoping of quantifiers. For example, in the context: is outside the scope of the second binding occurrence of x next to Q 1 . A global restriction on variables is that each occurrence of an indexing variable be preceded by a binding occurrence of that variable-free undeclared variables are illegal (for more on this restriction, see Grudzińska and Zawadowski 2017a). As a consequence, this principle considerably restricts the number of possible readings for sentences involving multiple quantifiers and will have a major role to play in our account of the three puzzling phenomena to be discussed in the sections to follow: inversely linked interpretations, weak definite readings in possessives and Haddocktype readings.

Inverse Linking Constructions
Inverse linking constructions (ILCs) refer to complex DPs which contain an embedded QP, as in (1): (1) A representative of every country ILC in (1) can be understood to mean that there is a potentially different representative for each country, i.e., it allows an inverse reading in which every country outscopes a representative. Under standard LF-based analyses, the inverse reading of ILCs is attributed to the application of quantifier raising (QR). QR replaces the QP every country with the coindexed trace (t 1 ), and adjoins it at DP DP QP 1 every country Standard analyses of ILCs have been claimed problematic on a number of grounds. For example, there is contradictory evidence regarding the landing site of the raised QP [adjunction to DP (see the tree above) versus adjunction to S-for the discussion, see Zimmermann (2002)]. We propose an alternative non-movement analysis of inverse readings. Following Löbner (1985Löbner ( , 2011, we distinguish between functional common nouns (e.g., mother, head, age) and relational common nouns (e.g., representative, sister, son). Relational nouns involve relations that are not functional but (possibly) one-to-many. Under our analysis, relational nouns are treated as dependent types. For example, as explained in detail above, representative (as in a representative of a country) is modeled as the dependent type: By quantifying over c : C, r : R(c), we get the inverse ordering of quantifiers: The interpretation where ∃ outscopes ∀, ∃ r :R(c) ∀ c:C , is not available because the indexing variable c (in R(c)) is outside the scope of the binding occurrence of that variable (see our global restriction on variables introduced above). By making the type of representatives dependent on (the variables of) the type of countries, our analysis forces the inversely linked reading without positing any extra scope mechanisms.
More precisely, we propose the following analysis of the inverse reading for ILC: country is modeled as the type C. The preposition of is a purely syntactic marker signalling that country is a type on which representative depends 4 The interpretation of the structure: gives us access to the sets (fibers) R (a) of the representatives of the particular country a only. We use Σ type constructor to form the type of all representatives Σ c:C R(c). The complex DP a representative of every country is interpreted as the complex quantifier living on the set of all representatives Σ c:C R(c) : i.e., it denotes the set of the subsets of the set of representatives such that the set of countries such that each country has at least one representative in the corresponding fiber of representatives is the set of all countries (we refer to this kind of quantification as quantifying 'fiber by fiber'). ILC in (1) can be also understood to mean that there is some one person who represents all the countries, i.e., it allows a surface reading in which a representative outscopes every country. 5 To capture this reading, we propose that representative be treated standardly as a predicate, interpreted as the subset of P(er son) × C(ountr y) (and not as a dependent type). Quantifying universally the countryargument, we obtain a type whose interpretation is the set of individuals who represent all the countries. By quantifying existentially over this set, we get the surface reading. More specifically, we propose the following analysis of the surface reading for ILC:

every country
The QPP stands in the sister position to the head nominal representative. Our proposal is that the relational noun representative is now interpreted as the subset of P(er son) × C(ountr y) . The complex NP (noun modified by the postnominal QPP) representative of every country is then interpreted as the type/set of individuals who represent all the countries: { p : {c : p, c ∈ Represent } ∈ ∀ ( C )}, and the DET a quantifies existentially over this set, yielding the surface ordering of quantifiers.
Footnote 4 continued relational head nominal'. Under our dependent type analysis, the relational head nominal representative is modeled as the dependent type and the preposition of is 'semantically inert' (as in Barker's proposal), it just serves as a marker signalling that country is a type on which representative depends. 5 In May's (1978), ILCs were thought to allow inverse readings only. This has changed, however, and both surface and inverse readings are now considered to be available for ILCs (see e.g., May 1985;Joh 2008;Kobele 2010;Champollion and Sauerland 2011;Sailer 2014).
One apparent problem for our proposal is that inverse readings are also available for ILCs involving sortal nouns, as in a man from every city. Our solution is that a sortal noun like man can undergo a 'sortal-to-relational' shift, resulting in the (IR)structure: DP QP 1 a man QPP P from QP 2 every city Partee and Borschev (2012) emphasize the permeability of the boundary between sortal an relational nouns and the fact that nouns can often be coerced to cross this border. In this case, the relational use of the sortal noun man can be coerced by the presence of the locative preposition from. Such prepositions specify the local position or origin of an entity and since entities do not occur at more than one place simultaneously, the dependency c : C, m : M(c) is likely to be a preferred interpretation for man from (for any city, there is a set (fiber) of the men from that city). Our analysis of the above structure is then exactly like the one described for the inverse reading of a representative of every country.
The two structures for the inverse and surface readings [structure (IR) and (SR), respectively] were postulated and motivated by Zimmermann (2002). Zimmermann argues that there is syntactic evidence for a different SS for the inverse reading, namely PPs containing QPs that give rise to inverse readings cannot freely change places with regular postnominal modifiers [e.g., relative clauses (RCs)] but must be DP-final, as illustrated by the examples below: Sentence (a) can be understood to mean that every city x is such that one famous person from x was invited, while sentence (b) is semantically odd-it only allows a surface reading saying that one person who came from every city and who was famous was invited. Inverse readings are possible when QPPs follow RCs [as in (a)], while nonfinal QPPs give rise to surface readings only [as in (b)]. This asymmetry is unexpected on the LF-based analysis since all postnominal modifiers (QPPs, RCs) have the same syntactic status, i.e., they stand in sister position to the head nominals. Based on this argument, Zimmermann proposes a different structure for the inverse reading, where the QPP (of every country) is not a regular postnominal modifier [as in (SR)] but is rightadjoined to the QP a representative [as in (IR)]. On the semantic side, Zimmermann proposes to derive inverse readings via a non-compositional reinterpretation procedure (for more on this, see Zimmermann 2002) In our analysis, we adopt Zimmermann's position that ILCs are structurally ambiguous at surface structure: the two readings derive from the two surface structures distinguished by the syntactic position of the QPP. The advantage of our dependent type account over Zimmermann's analysis is that it interprets the surface structure for the inverse reading in a fully compositional way. We shall now see that the same two structures were independently introduced and motivated for possessive definites.

Possessive Definites
Possessive definites (PDs) refer to complex definite DPs which contain an of -PP, as in (2): (2) The student (sister, son) of a linguist As observed by Löbner (1985Löbner ( , 2011 and Barker (2005), PDs can be used in a situation in which linguists in question have more than one student, sister or son (the nouns involved are relational, not functional). Such 'weak uses' represent a difficulty for standard approaches to definiteness based on uniqueness. 6 Uniqueness theories assume that definite determiner requires uniqueness (relativized to the discourse situation), i.e., the object referred to by a definite description must be the only object (in the discourse situation) that satisfies the content of the description. The uniqueness requirement is standardly taken to be a presupposition and the is defined as a partial function i.e., a function from properties P-defined only if there is exactly one x such that P(x) (∃!x P(x))-to the unique x such that P(x) (ιx P(x) is a referring expression standing for the unique individual who satisfies P). We propose to use the following type-theoretic variation of this definition (one that lifts the to the quantifier-type interpretation and does not introduce partiality into the system) i.e., the respective definite denotes { X } if there is a unique element in X , and the empty set, otherwise. Barker (2005) distinguishes between strong (theoretically unproblematic) and weak readings of PDs, and postulates that the two readings derive from the two surface structures (analogous to the two structures for the two readings of ILCs, postulated independently by Zimmermann) On the strong reading (SR), student combines with the of -phrase resulting in a property P corresponding to the set of individuals who are students of a linguist; the combines then with this set to yield one individual from this set (Barker 2005). Similarly, under our dependent type theoretical analysis, the complex NP (noun modified by the of -PP) student of a linguist is interpreted as the type/set of individuals who are students of a linguist: {s : {l : s, l ∈ Student of } ∈ ∃ ( L )}, and the DET the quantifies over this set, yielding the singleton consisting of a single student (if there is a unique student of a linguist), and the empty set, otherwise.
On the weak reading (WR), as argued in Barker (2005), the first combines with the relational noun student, and then with the of -PP. On the semantic side, the idea is that the interpretation of the is shifted (via the Geach rule) and combined with the interpretation of student via function composition, and only then applied to the interpretation of the of -PP. This order of combination gives the same result as in the previous analysis (corresponding to the (SR)-structure). Barker claims that the difference between the two analyses consists in the presuppositions triggered. In the (SR)-case, the requirement is that the complex NP as a whole (student of a linguist) describes a unique object in the discourse situation. In the (WR)-case, the requirement is that the referent of the relational student is determined uniquely relative to the possessor argument (a linguist); a successful use of a PD 'is one that provides enough information for the listener to pick out the intended kind of object', i.e., the student of a linguist that the speaker has in mind. While no formalization of this intuitive analysis of the (WR)-case was proposed in Barker (2005), our dependent type analysis provides a way of expressing this intuition formally. Under our account, the head nominal student is modeled as the dependent type: i.e., it denotes the set of specific student-linguist pairing(s) if there is at least one linguist a in L such that the fiber over a, S (a), contains only one student (that the speaker has in mind). Otherwise, it denotes the empty set.
Two more remarks are in order. First, in this section we only considered PDs with an indefinite possessor (object of the genitive of ) such as the student of a linguist. In the literature there is a disagreement over whether weak definite readings are also available for PDs with a definite possessor such as the student of the linguist. Contra to Poesio (1994), Barker claims that PDs with definite possessors allow the weak interpretation (Barker 2005). We shall come back to this problem after discussing our account of Haddock definites. Second, some authors observed that ILCs and PDs are systematically subject to the so-called 'narrowing', i.e., the universal quantifier of the ILC a representative of every country is restricted to countries that delegate (some) representatives, and the existential quantifier of the PD the student of a linguist is restricted to linguists who have students (Barker 1995;Champollion and Sauerland 2011;Peters and Westerståhl 2013;Sailer 2014). The narrowing mechanism is sometimes viewed as a pragmatic process of accommodation (Lewis 1979;Champollion and Sauerland 2011) and sometimes built into the truth conditions of the possessive definite (Peters and Westerståhl 2013) or the inverse linking construction (Sailer 2014). In this paper, we do not integrate narrowing into our account. In particular, we shall show that our analysis allows us to derive Haddock-type readings without the recourse to narrowing in either semantic or pragmatic sense [unlike in the proposals in Champollion and Sauerland (2011);Sailer (2014)].

Haddock Definites
Haddock definites (HDs) refer to embedded definites, as in (3) (3) The rabbit in the hat HDs can be used successfully in contexts with multiple salient hats and multiple salient rabbits as long as there is a single rabbit-in-a-hat pair. There is an unresolved controversy over the precise requirement on the successful use of HDs in such contexts. In Champollion and Sauerland's movement analysis (Champollion and Sauerland 2011), the rabbit in the hat presupposes that the number of hats that contain exactly one rabbit is exactly one. In Bumford's dynamic account (Bumford 2017), the rabbit in the hat has a stronger presupposition that the number of hats that contain at least one rabbit is exactly one. Under the former analysis the rabbit in the hat can be used felicitously in the context in which one hat contains one rabbit and another hat contains two rabbits, while under the latter analysis the use of the description is infelicitous in this context (since it has three rabbit-hat pairs). It will be shown that both variants can be accounted for using our dependent type analysis.
As with the previous cases of ILCs and PDs, HDs have been observed to be ambiguous between absolute readings (with the standard unproblematic uniqueness requirements that there be exactly one hat, with exactly one rabbit in it) and Haddocktype relative readings (Bumford 2017). Again, we propose that the two readings of HDs derive from the two surface structures (analogous to the previous ones postulated independently by

the hat
On the absolute reading (AR), the hat is interpreted as the strong definite: The hat comes with the standard requirement that there be a unique hat. The head nominal rabbit combines with the in-phrase resulting in the type/set of rabbits in the hat; the DET the requires that this set be a singleton-thus we get Bumford's absolute reading saying that there is exactly one hat, with exactly one rabbit in it. The relative reading (corresponding to the (RR)-structure) comes in two variants: Champollion and Sauerland's reading (Champollion and Sauerland 2011) and Bumford's variant (Bumford 2017). Under our analysis, the head nominal rabbit undergoes a 'sortal-to-relational' shift and is modeled accordingly as the dependent type: The complex DP the rabbit in the hat is interpreted as the complex quantifier living on Σ h:H R(h) . Simply combining this analysis with our semantic clause for the will not deliver the desired reading (in either of its variants): The above formula imposes a restriction that there be exactly one hat and exactly one rabbit such that this rabbit is in this hat-thus the rabbit in the hat cannot be used felicitously in the context with multiple salient hats.
A possible way to obtain Champollion and Sauerland's reading would be to postulate that the is ambiguous between a presuppositional analysis (the) and a quantificational analysis (the'): and give the following analysis to the whole DP the rabbit in the hat: The above formula imposes Champollion and Sauerland's restriction that the number of hats that contain exactly one rabbit is exactly one-thus the rabbit in the hat can be used successfully in the context with multiple salient hats. The way to obtain Bumford's reading would be to combine the definite determiner 'unselectively' with the type Σ h:H R(h) (consisting of pairs h, r such that h is of type H and r is of type R(h)), interpreted as the sum of fibers over elements in H THE quantifies then over pairs (i.e., binds 'unselectively' all the variables in its scope): and THE ( Σ h:H R(h) denotes exactly one rabbit-hat pair, if there is a unique one, and the empty set, otherwise. Thus the above formula imposes Bumford's 'polyadic requirement' that there be a single pair a, b such that a is a hat, b is a rabbit, and b is in a-the rabbit in the hat can be used felicitously in the context with multiple salient hats and multiple salient rabbits as long as there is exactly one pair of a rabbit and a hat such that the rabbit is in the hat. 7 Our analysis allows us to derive the relative reading (in each of its variants) but it relies on additional amendments: presuppositional/quantificational ambiguity in the or the mechanism of unselective binding. We shall emphasize that these additional mechanisms are well motivated independently of Haddock definites. Extending our analysis to PDs with definite possessors (e.g., the student of the linguist) would give an explanation of why the student of the linguist can be used successfully in contexts with multiple salient students and multiple salient linguists (as long as there is exactly one student-linguist pair). However, the controversial weak uses of PDs with definite possessors mentioned in the previous section cannot be explained using our analysis. Barker (2005) gives examples such as the side of the road which can be used felicitously in contexts in which the road in question has two equally silent sides (i.e., in contexts with multiple side-road pairs). For example, the sentence 'It is safer to mount and dismount towards the side of the road, rather than in the middle of traffic' is so constructed that the bicycle rider can be riding on either side of the road (left or right)-here, the speaker is perfectly aware that the road has two sides. We think that the problematic example mentioned may fall into a small group of idiosyncratic uses. In his paper, Barker discusses a well-known group of exceptions to uniqueness, e.g., 'Could you please open the window?' (uttered in a room with three equally silent windows), or 'Please eat the apple (uttered when offering a bowl of apples). Barker's claim is that such uses are idiosyncratic and have no implication for the treatment of systematic and productive uses. One clue that a use is idiosyncratic is that it does not tolerate modification, e.g., 'Could you please open the tall window?' is infelicitous in the context with two tall windows. Similarly, the examples of weak uses of PDs with definite possessors (adduced by Barker) may constitute a group of idiosyncratic exceptions to Haddock-type uniqueness, e.g., the side of the road (26,700,000 Google search results) also does not tolerate modification, as evidenced by 5 Google search results for the side of the long road or 4 results for the side of the beautiful road.

Preposition Puzzle
ILCs (e.g., a representative of every country) and PDs (e.g., the student of a linguist) are DPs which contain a QP which is selected by the preposition. This includes genitive of (connector to a relational noun) but also locative prepositions such as from or in. One puzzling difficulty for the existing accounts of ILCs is that some prepositions like with block inverse readings. A similar puzzle arises in connection with PDs-here, an even stronger claim has been made that 'only the true genitive of systematically gives rise to weak interpretations' (Barker 2005, p. 100). To illustrate the point, May and Bale (2005) give the example in (4): (4) Someone with every known skeleton key opened this door, and Poesio (1994) gives the example in (5): (5) The student with a brown jacket.
Sentence in (4) can only mean that there is one individual who happens to have every known skeleton key and who opened the door; a use of the PD in (5) can only be felicitous in contexts in which there is a unique student with a brown jacket. By contrast, Haddock-type readings do not disappear in the presence of prepositions such as with. As discussed in Bumford's (2017), HDs such as the table with the apple can be used successfully in contexts with multiple salient tables and multiple salient apples as long as there is exactly one pair of a table and an apple such that the table comes with the apple.
The solution to the preposition puzzle falls naturally out of the dependent type account proposed. First, both inverse and weak definite readings are unavailable for constructions (ILCs and PDs, respectively) with prepositions which induce dependencies corresponding to the surface ordering of the QPs. Note that in the case of prepositions like of and from, as in a representative of (from) every country, the 'dependent component' (representative) precedes in surface linear order the component on which it is dependent (country). Thus a representative of (from) every country introduces the dependency: forcing the inverse ordering of the QPs ∀ c:C ∃ r :R(c) . By contrast, in the case of prepositions like with, as in a man with every key, the potentially 'dependent component' (key) follows the component on which it is dependent (man). Thus the only possible dependency to be introduced is: one that corresponds to the surface ordering of the QPs ∃ m:M ∀ k:K (m) . By our global restriction on variables introduced in Sect. 2, the reading where ∀ outscopes ∃, ∀ k:K (m) ∃ m:M , is not available because the indexing variable m (in K (m)) is outside the scope of the binding occurrence of that variable. Thus, under the analysis proposed, the inverse interpretation is unavailable to the QP in the object position of with. Similarly PDs with the preposition of, e.g., the student of a linguist, introduce the dependency: l : L, s : S(l), forcing the inverse ordering of the QPs ∃ l:L , the s:S(l) . By contrast, in the case of prepositions like with, as in the student with a brown jacket, the potentially 'dependent component' (brown jacket) follows the component on which it is dependent (student). Thus the only possible dependency to be introduced is: one that corresponds to the surface ordering of the QPs the s:S ∃ j:J (s) . By our restriction on variables, the reading where ∃ outscopes the, ∃ j:J (s) the s:S , is again not available because the indexing variable s (in J (s)) is outside the scope of the binding occurrence of that variable, and so the weak interpretation is unavailable to the QP in the object position of with. 8 Second, by contrast to both inverse and weak definite readings, Haddock-type readings are insensitive to the prepositions used. This follows from the fact that the analyses proposed for such readings are not contingent on the dependencies in question. A HD like the rabbit in the hat or the table with the apple denotes a  single pair (either a single rabbit-hat pair or a single table-apple pair), and the semantic analyses proposed can yield the pairs in question regardless of the dependencies involved.

Details of the Compositional Analysis
In this section, we shall sketch the remaining details of our compositional semantic analysis on the examples of sentences (6) and (7) involving ILCs: (6) A representative of every country is bald.
∀ c:C ∃ r :R(c) Bald(r ) (7) A representative of every country missed a meeting.
∀ c:C ∃ r :R(c) missed ∃ m:M Sentence in (6) is true iff i.e., if the set of bald representatives is in the denotation of the complex DP a representative of every country. The illustration below serves to provide an intuitive explanation of the formula:

U
Note that a person counts as a representative only in virtue of standing in a particular relationship with some country. Now each representative r has an underlying person U (r ), in fact two representatives can have the same underlying person (if this person represents two countries). U stands for a function that forgets this part of the structure that relates people to countries and yields just people. Predicate Bald is defined over the type/set of people-by taking the inverse image of the set of bald people under the forgetting function U , U −1 ( Bald ), we get the set of bald representatives. For sentence (6) to be true, the set of bald representatives must be in the denotation of the complex quantifier expression a representative of every country.
To derive the truth-conditions for (7), we propose to integrate our dependent type analysis into a continuation-passing framework (as in Barker 2002;Barker and Shan 2014;Grudzińska and Zawadowski 2017c). This will allow us to keep a non-movement (in situ) semantics for multi-quantifier sentences. In the continuation semantics, in order to combine with QPs a predicate needs to be lifted ('continuized'), e.g., a predicate of type P(X ) = X → t will be lifted to an expression of type CP(X ) = ((X → t) → t) → t. A quantifier Q on type X is of type C(X ) = (X → t) → t-thus its meaning can be expressed only in continuized terms. For combining continuized predicates with QPs, we use two CPS composition rules (P(X ) = X → t and C(X ) = PP(X )): For M ∈ C(X ) and R ∈ C(X −→ Y ),   p(r , m)))).
The result thus obtained (G of type CP(Σ R)) is then merged with the subject complex DP a representative of every country (of type C(Σ R)), using CPS transforms again: Here depending on whether we use CPS l or CPS r , we get either the surface (∀ c:C ∃ r :R(c) ∃ m:M ) or the inverse reading (∃ m:M ∀ c:C ∃ r :R(c) ) for the sentence in (7). For B ∈ C(Σ R) and G = λc : C(Σ R). A(λm.c(λr . p (r , m))), CPS l (B, G) = λc : P(t).B(λr : Σ R.G(λg : P(Σ R).c (g, r ))) application to the trivial continuation c = id t , replacing G by λc : C(Σ R). A(λm.c(λr . p (r , m))) B(λr : Σ R.λc : C(Σ R). A(λm.c(λr . p (r , m)))(λg : P(Σ R).(g, r ))) β-reduction One empirical constraint on a theory of inverse linking is the so-called Larson's generalization (Larson 1985). Larson observed that QPs external to ILCs cannot take scope between the embedded and containing QPs. For example, sentence: 'Two politicians spy on someone from every city' can not be understood to mean that for every city c, there are two politicians who spy on someone from c-separate QP cannot take scope in between the two nested QPs: every city > two politicians > someone. Similarly, a meeting cannot take scope in between every country and a representative-the two interleaved interpretations are not possible for sentence (7). Note that under our analysis, the inseparability of the two nested QPs falls out immediately.

Conclusion
In this paper, we provided a unified dependent type account of the three problematic phenomena: inversely linked interpretations, weak definite readings in possessives and Haddock-type readings. We proposed that the three readings under consideration share the same underlying surface structure and we showed that the surface structure proposed can be interpreted compositionally and properly, using our semantic framework with dependent types. Furthermore, by introducing a restriction prohibiting free undeclared variables we were able to explain the puzzle of why both inversely linked interpretations and weak definite readings are blocked with certain prepositions (in contrast to Haddock-type readings). Our dependent type account is the first, as far as we are aware, to formally connect the three phenomena and to offer a principled solution to the preposition puzzle.