# Bound variable pronoun

A bound variable pronoun (also called a bound variable anaphor or BVA) is a pronoun that has a quantified determiner phrase (DP) – such as every, some, or who – as its antecedent.
An example of a bound variable pronoun in English is given in (1).
In (1), the quantified DP is each manager, and the bound variable pronoun is him. It is a bound variable pronoun because it does not refer to one single entity in the world. Rather, its reference varies depending on which entities are encompassed by the phrase each manager. For example, if each manager encompasses both John and Adam, then him will refer variably to both John and Adam. The meaning of this sentence in this case would then be:
where him first refers to John, and then to Adam.
In linguistics, the occurrence of bound variable pronouns is important for the study of the syntax and semantics of pronouns. Semantic analyses focus on the interpretation of the quantifiers. Syntactic analyses focus on issues relating to co-indexation, binding domain, and c-command.

## Semantics: quantifier interpretation

Semantics is the branch of linguistics that examines the meaning of natural language, the notion of reference and denotation, and the concept of possible worlds. One concept used in the study of semantics is predicate logic, which is a system that uses symbols and alphabet letters to represent the overall meaning of a sentence. Quantifiers in semantics – such as the quantifier in the antecedent of a bound variable pronoun – can be expressed in two ways. There is an existential quantifier, ∃, meaning some. There is also a universal quantifier, ∀, meaning every, each, or all. Ambiguity arises when there are multiple quantifiers in one sentence.
An example of the use of quantifiers is shown in (3).
In this example, the quantified determiner phrase every man can be expressed in predicate logic as a universal quantifier. Because of this, he refers universally and variably to each man, rather than to a single specific man.

## Syntax

Syntax is the branch of linguistics that deals with the formation and structure of a sentence in natural language. It is descriptive, meaning it is concerned with how language is actually used, spoken, or written by its users, unlike prescriptive grammar/prescription which is concerned with teaching people the "correct way" to speak.
There are three main aspects of syntax that are important to the study of bound variable pronouns. These are:
* Co-indexation of a pronoun and its antecedent
* C-command relationship between the antecedent and the pronoun
* Binding domain of the pronoun

### Co-indexation

According to the indexing theory, each phrase in a sentence can be given a unique index, which is a number (or letter) that identifies that phrase as picking out a particular entity in the world. It is possible to modify the indexes on these phrases so that two or more phrases have the same index. This is called co-indexation. If co-indexation occurs, the phrases with the same-numbered index will all refer to the same entity. This phenomenon is called co-reference.
An example of co-indexation and co-reference is shown in (4).
In (4a), the determiner phrases – Mary and herself – are each given a unique index. In (4b), co-indexing takes place, and herself changes its index to be the same as the one that Mary has. Because of this, Mary and herself now refer to the same entity in this sentence.

### C-command

If a pronoun has a quantified expression as antecedent, the pronoun must be c-commanded by this antecedent. An antecedent c-commands a pronoun if, when observing the structure of the sentence, a sister of the antecedent dominates the pronoun.
The c-command relationship can be shown by drawing a tree for the sentence. Take, for instance, the following tree diagram for example (4b).
Here, Mary is the antecedent, and herself is the pronoun. The sister of Mary is the T' node, and this node dominates herself. So Mary c-commands herself in this instance.
When discussing bound variable pronouns, the pronoun is said to be bound if it is c-commanded by the quantified determiner phrase that is its antecedent.

### Binding domain

The domain of a determiner phrase is defined as "the smallest XP with a subject that contains the DP". This domain is illustrated in the picture below.
The way a DP can bind given this domain depends on the kind of that DP that is being bound. Anaphors (reflexives pronouns like herself and reciprocals like each other) must be bound in their domain, meaning they must have a c-commanding antecedent in their domain. Pronouns (such as she or he) must not be bound in their domain, meaning they cannot have a c-commanding antecedent in their domain. Finally, R-expressions (such as proper names, descriptions, or epithets) must not be bound, meaning they must not have a c-commanding antecedent at all.
When determining the binding possibilities of a bound variable pronoun, in addition to the above conditions, the bound variable pronoun must also be c-commanded by the quantified determiner phrase that is its antecedent.

## Theories
### Higginbotham's (1980) indexing theory

One theory used to describe pronominal binding is to use index marking rules to determine possible bindings. Index marking rules are rules used to determine which parts of a sentence carry the same reference. Each element in a sentence is given an index, which is a unique identifier of that element. A set of rules can then be applied to modify the index of one element to be the same as the index of another. Those two elements will then share the same index, and so will refer to the same thing. This indexing theory was used as a way to describe pronominal binding by Noam Chomsky, and expanded upon by James Higginbotham. The theory holds that the binding of pronouns consists of three main parts.
* There are coindexing rules that assign unique indexes to the elements in a sentence.
* There are contraindexing rules, which create a list of indexes for which an element cannot hold a reference.
* There are deletion/reindexing rules, which are rules used to allow some previously prohibited references to occur, and which modify index numbers of certain elements to be the same as another element and allow these two elements to refer to the same entity.

#### Co-indexing and contra-indexing

In the coindexing stage, each noun phrase is given a unique index, called a "referential index". In the contraindexing stage, each non-anaphoric noun phrase (i.e. each noun phrase that is not a reflexive pronoun like "herself" or a reciprocal pronoun like "each other") is given a set of "anaphoric indices". This set consists of the referential indices of all elements that c-command it. This set of anaphoric indices is used to determine whether coreference can occur between two noun phrases. In order for coreference to occur, neither noun phrase can contain the other's referential index in its set of anaphoric indices. For example, in sentence (5):
| (5) John$_{i,Φ}$ saw him$_{j,{i}}$. (Higginbotham, 1980: 682 (15)) | "John saw him", adapted from Higginbotham, 1980: 682 (15), drawn using phpSyntaxTree |
"John" has a referential index of i, but its anaphoric index is empty, since it is not c-commanded by anything. "Him" has a referential index of j, and its set of anaphoric indices contains only i, because "John" c-commands "him". Since the set of anaphoric indices for "him" contains i, "John" and "him" cannot be coreferenced, which is expected in this sentence.
Deletion rules must then be applied to account for sentences with permissible coreference such as (6):
| (6) John thinks he's a nice fellow. (Higginbotham, 1980: 682 (16)) | "John thinks he is a nice fellow", adapted from Higginbotham, 1980: 682 (16), drawn using phpSyntaxTree |
The deletion rule, as broadly stated by Chomsky, can be focused to pronouns as Higginbotham describes:
Where a "pronoun B is free(i) in X iff it occurs in X and there is nothing in X with the referential index i that c-commands B".

#### Reindexing rules

Once the appropriate indices are determined, bound variable pronouns can be coreferenced with their antecedents, where possible, by applying a set of reindexing rules. During this process, when one element is reindexed, all other elements with the same initial referential index will also be reindexed. Reindexing can also occur between a pronoun and a trace or PRO element, as follows:
Where e$_i$ is a trace or PRO element.
This reindexing rule is constrained by what Higginbotham calls the "C-Constraint", which states that reindexing cannot cause the following pattern to occur in the logical form of the sentence:
For example, a sentence such as:
would have the logical form:
In the logical form, the noun phrase everybody in some city is one logical unit, and the noun phrase some city is another. These phrases are unfolded and brought to the front of the form, leaving their (identically-indexed) traces behind to show where they would appear in the sentence. Without the C-constraint proposed above, applying the reindexing rule to this logical form would allow it$_2$ to be reindexed to it$_4$, resulting in the form:
This sentence, when reindexed, is supposed to carry the same meaning as "everybody in some city hates its climate", but does not do so correctly. With the C-Constraint in place, it$_2$ would not be allowed to reindex to it$_4$ which, Higginbotham claims, is what speakers of English would expect.

#### Application to bound variable pronouns

The indexing theory is meant to explain pronoun indexing and coreference in general. When applied to bound variable pronouns, Higginbotham states that the same rules apply. Take, for example, the following sentence:
This sentence can have many different interpretations, depending on how the pronouns "he" and "him" bind. However, as Higginbotham points out, "he" and "him" cannot both refer to the same person. This is due to restrictions on the reindexing rule because of the referential index and set of anaphoric indices that exist for each noun phrase in the sentence. To see how this would be the case, the rules stated above can be applied to the sentence to determine the final binding possibilities. Applying the co-indexing rule will result in the following logical form, in which each noun phrase is given a referential index:
Once the co-indexing step is complete, then the contra-indexing step is applied as described above, producing the logical form below:
The deletion rules are then applied, yielding the logical form:
At this point, reindexing rules can apply. However, Higginbotham notes, if he and him reindex to the same quantifier (for example, everyone), the following form would be generated, since the indexes 4 and 5 would be reindexed to 2:
This is not possible, since him has 2 as both its referential index and as part of its set of anaphoric (non co-referable) indices. Therefore, as predicted, he and him cannot bind to the same antecedent. It is possible, however, to apply the reindexing rules so that he binds to everyone and him binds to someone, since the application of the reindexing rule in this case does not cause a contradiction, as exemplified below:

#### Objections

One objection that has been made to this theory is that it is too complex. While it accounts for many possible sentences, it also requires introducing new rules and constraints, and treats bound variable pronouns differently from other types of pronouns. Proponents of this objection, such as linguist Tanya Reinhart, argue that the difference between bound variable pronouns and pronouns of other kinds should be a semantic rather than a syntactic difference. They propose that a syntactic theory that requires less rules would be preferable.

### Reinhart's (1983) bound variable theory

Studies on anaphora focus on the conditions for definite NP anaphora and avoid the problems with interpreting pronouns. Reinhart clarifies the difference between bound-variable pronouns (i.e. bound-anaphora) and coreference (i.e. the referential interpretation) and concludes that the bound-variable conditions apply to a number of seemingly unrelated phenomena, including reflexivization, quantified NP anaphora, and sloppy identity. She argues that the way pronouns can be interpreted and the times at which coreference cannot occur are determined by the syntax of the sentence.

#### Coindexing conditions

Previous studies on anaphora focused on coreference instead of bound anaphora, which dictated groupings of anaphora facts in a specific way. Reinhart states that previous analyses focusing primarily on coreference would determine the permissibility of examples (16)-(18) in three different ways. Group (16) would be classified as cases where definite NP coreference is allowed. Definite NP coreference would be deemed impossible in group (17). Finally, group (18) would require special treatment since it deals with cases of quantified NP anaphora. By following these coreference rules, Reinhart notes that examples (16)–(18) would not constitute well-formed sentences.
However, Reinhart argues that it is due to these analyses that problems with the current anaphora theory arise. She suggests that once the focus is shifted from coreference to bound anaphora, it would appear that the sentences groups in (16)–(18) would "not constitute grammatical or sentence-level classes."
Reinhart points out that the main distinction is in (16a) and (16b) where bound anaphora is possible. She suggests that the "pronoun can be translated as a bound variable," and that in all the other sentences, it cannot.
The coreference differences between the sentences that do not allow bound anaphora come from semantic and pragmatic considerations from outside the syntax. Reinhart states that with the sloppy-identity test, "the distinction between bound anaphora and coreference in the case of definite NPs is not arbitrary."
In previous analyses, phenomena such as reflexivisation, quantified NP anaphora, and sloppy identity were treated as separate mechanisms. However, Reinhart states that clarifying the distinction between bound anaphora and coreference allows us to observe that these mechanisms are "all instances of the same phenomenon" and that they "observe the same bound-anaphora conditions."
From her analysis, Reinhart proposes a rule that captures anaphora as a mechanism which she argues is "governing the translation of pronouns as bound variables."
Here, an R-pronoun is a reflexive pronoun (like herself) or reciprocal pronoun (like each other). The minimal governing category (or MGC) is defined, broadly, as the smallest category that contains both the pronoun and a governor of that pronoun.
Reinhart then provides examples where rule (19) is optional and "no special obligatory requirement on R-pronouns is needed." This is because R-pronouns can only ever be interpreted as bound variables. Because only coindexed pronouns are able to be interpreted in this way, then if an R-pronoun becomes uncoindexed, the sentence that arises as a result of this derivation will be uninterpretable.
Based on Reinhart's theory, the pronouns in group (20) can all be coindexed within their respective sentences. In contrast, the pronouns in group (21) are unable to be coindexed because none of the sentences meets the coindexing conditions.
(21a) does not meet the coindexing condition of (19b) because the condition does not allow non-R-pronouns to be coindexed within their MGC. (21b, d, and e) are unable to be coindexed because the pronouns are not c-commanded by the potential antecedent. (21c)'s R-pronouns cannot be coindexed with NPs outside their MGC. Thus, the pronouns in the sentences in group (21) are uninterpretable as bound variables.
Only in cases of "genuinely quantified NP’s" is bound anaphora feasible because bound anaphora cannot involve reference or coreference.

### Kratzer (2009)
#### Introduction

Angelika Kratzer introduced the idea that fake indexicals are ambiguous between bound variable pronouns and a referential interpretation, creating a theory where a pronoun must be formed with feature transmission from a v in a vP. There are cases where a feature is not required to bind a bound variable pronoun to a v, but in these situations, the pronoun in question must have been referential and fully produced with all features.

#### Theory

Kratzer brings up the topic of an embedded vP, which can be roughly defined as a verb phrase that projects a predicate that ends up "reflexivized". "Reflexivized", as defined by Kratzer, is when a pronoun bound from v and an argument introduced by v have coreferential or covarying interpretations.
Minimal pronouns require closeness to a vP, often with an embedded possessive. An embedded v would start with a relative pronoun in specifier position, which would later be followed by a bound variable interpretation. Locality domains for reflexives are first determined by the proximity of indexicals, myself, to v. Previously thought of as indexicals, the subject pronoun myself can be instead attributed to being bound pronouns connected to the closest v.
In English, bound variable pronouns are grammatical in some situations while in German they are not (see the section on German below).
(23a) and (23b) are determined to be grammatically correct, but an issue arises from the bound variable standpoint. Due to a third person inflective, the bound variable readings for (23a) and (23b) should be considered impossible, but as Kratzer states, they are considered to be correct. This can be attributed to how the third person inflection is not supposed to be associated with a possessive first or second person bound variable pronoun.
Expanding slightly from (23), Kratzer gives the example:
In this example, the v, what normally binds the pronoun, has all phi features bound to itself from the start. Kratzer describes predication as the subject pronoun that eventually becomes a relative pronoun. Predication, in (24) adopts the phi features from v. Kratzer predicts that the merging of DPs to a specifier position would only happen when the DPs are without phi features. In the event that a DP adopts phi features from v from predication, then there should be a clear distinction.
Kratzer illustrates this point by providing the following example:
(25) is deemed ungrammatical because it has a third person and first person feature. The third person feature, "Nina", marks the sentence as ungrammatical due to how it specifies a person. English does not accept third person features in sentences when first person features already exist. German, however, does, which is explained in the German section below.
Leading off of (25)'s inability to have third and first person features, Kratzer builds on the idea that third person features may be gender features instead of person features. The subset principle, which determines that a word can be inserted into a position it may not belong in as long as subsets of the features in the position match the word, allows the introduction of first, second or third person features in relative pronouns. First, second, and third person features can thus have gender features, which in turn would account for a verbal agreement that requires the word following subset principle to obey.
(26) has a feature combination with third person possessives aligning with third person verbal agreement, creating a grammatical sentence.

### Rullmann's (2003) bound variable pronouns and the semantics of numbers

Plural bound variable pronouns such as they can be used to reference single entities. Hotze Rullmann argues that the agreement in number, that is whether the pronoun and its antecedent share a grammatical number, between the plural bound pronoun and its DP antecedent can not be understood based only on its syntax but involves an analysis of the DP's semantics.

#### Evidence

In the examples (b) and (c), the pronoun they can reference any of the preceding DP's that share the same indexes (1,2). In B, they can refer to "(e)very woman", "her" or "her husband". To illustrate this point, if they refers to "every woman" then the interpretation of the sentence would be "every woman told her husband that every woman should invest in the stock market." In C, they can refer to "every man", "his" or "each of his girlfriends". The pronoun they in some of these cases, differs in number with its antecedent, as some of the DP antecedents are singular. This disagreement in number cannot be understood from a purely syntactic analysis. These sentences demonstrate the ability of plural pronouns to refer to "sets of singular entities", where they refers to each individual in a group.

#### Plural quantification

The two sentences have the same truth conditions, if one sentence is true so is the other. Rullmann provides an example using the scenario of 3 people at a party. If there were only 3 people at the party represented by the letters (a, b, d) then there are multiple ways of interpreting who was ‘at the party’. So, the verb phrase "were at the party" = (a,b,d). The verb phrase could also identify sets of singles, where " was at the party" = [(a), (b), (d), (a,b), (a,d), (b,d), (a,b,d)]." This means that who was at the party could be identified as either person a, person b or person d. It could also be interpreted as referring to just person a and person b or just person a and d et cetera.

#### Plural pronouns as variables ranging over sets

The pronoun, they, could refer to sets of singular items. Rullmann provides the example of three candidates—Al, George and Ralph—running for an election, in which each thought that they could win but not the others. For example, if Al thought that he could win but not George or Ralph. In this sentence the pronoun [they] can refer to either of the candidates—Al, George or Ralph. This interpretation, according to Rullmann, would make the sentence in 17, equivalent to the sentence, "Every candidate thought he could win the election."

#### Singular quantifiers and plural pronouns

Bound plural pronouns can also refer to singular quantities, for example:
Here "their" can refer to whoever is identified as "someone" in this sentence. In other words, the number agreement between the pronoun and its antecedent can only be deciphered through its meaning. However, sentences like the following, according to Rullmann, are sometimes considered ungrammatical:
Rullmann concludes that bound variable pronouns can refer to any singular entity, only if it's an unidentified individual such as "someone". Plural pronouns can also refer to sets of singles, and this co-referential relationship is understood through examining the DP's semantics.

### Dechaine and wiltschko's (2010) theory on first and second person pronouns

In 2010, Rose-Marie Déchaine and Martina Wiltschko provided evidence against the inherent indexicality of 1st and 2nd person pronouns (e.g. I, you), specifically termed the “intrinsic indexicality hypothesis”. This hypothesis states that 1st and 2nd person pronouns are inherently indexical since pronoun "I" refers to the speaker and pronoun "you" refers to the addressee; however, Déchaine and Wiltschko argue that since 1st and 2nd person pronouns can also be categorized as bound variable anaphors, this is evidence against inherent indexicality.
Instead, Déchaine and Wiltschko propose that there must be two distinct forms of 1st and 2nd pronouns that have the same forms, or in other words, there must be homophones. Their theory looks at 1st and 2nd person pronouns, as well as 3rd person pronouns (e.g. he, she).

#### Evidence for first and second person pronouns

As seen in example (31) below, 1st and 2nd pronouns can be interpreted as indexical in (31i), but can also be interpreted as bound variable anaphors in (31ii).
In (31i), the speaker is the only one who understands the question, and it is assumed that all other questions were not understood by the speaker; alternatively, in (31ii), another interpretation is taken, where it is assumed the only person to understand the question received is the speaker, while a different person would not understand the question they (different person) received.
Since both (31i) and (31ii) are possible interpretations of the sentence "Only I got a question that I understood (nobody else did)", Déchaine and Wiltschko propose that the 1st person pronoun “I” must be capable of being both indexical and a bound variable. This calls into question the “intrinsic indexicality hypothesis”, which would suggest that only interpretation (31i) is possible. The same phenomenon can be seen with the 2nd person pronoun “you” in example (#) below:
Again, since 2nd person pronoun “you” can be interpreted as indexical (32i) and as a bound variable anaphor (32ii), this calls into question the validity of the “intrinsic indexicality hypothesis”.

#### Evidence for third person pronouns

Similarly to 1st and 2nd person pronouns, Déchaine and Wiltschko propose that 3rd person pronouns also exhibit multiple forms. As seen in the example (33) below, 3rd person pronoun “he” can be interpreted indexically (33i), anaphorically (33ii), and as a bound variable (33iii).
Since 3rd person pronouns are also capable of being interpreted indexically and as bound variable anaphors, this further supports Déchaine and Wiltschko's argument that there are homophones, contrary to the “inherent indexicality hypothesis”.

#### Evidence for when and why bound variable interpretation is possible

After establishing that 1st and 2nd person pronouns can be interpreted as bound variables, Déchaine and Wiltschko look at when and why this interpretation can occur. Ultimately, a bound variable interpretation is possible when a pronoun is locally bound. A pronoun is bound when it is c-commanded by an antecedent (shown in detail in C-command section), and local when it is within the binding domain (shown in detail in binding domain section).
Déchaine and Wiltschko then address why this interpretation is possible due to inherent structure. When person features are under the D position, they are interpreted as indexical; however, when person features are under the Phi position, they are interpreted as non-indexical (shown in picture above). This suggests that indexicality is acquired through structure rather than being inherent to the person features.

### Dechaine and Wiltschko (2014)

Dechaine and Wiltschko (2014) introduced three essential conditions that a pronoun must follow in order to be considered bound variable anaphora. They further examined that the prerequisite for bound variable anaphora is c-command rather than linear precedence. If the c-command condition does not hold between an anaphor and its quantificational antecedent, this type of pronoun is called "E-type pronoun."

#### Three conditions for bound variable anaphora

The interpretation of an anaphor relies on its preceding expression, as an anaphor functions to avoid the repetition of the prior word or phrase in a sentence. Condition One states that there should be an association between the pronominal anaphor and its quantificational antecedent for bound variable anaphora to be possible.
Example (34) below shows that a defining feature of bound variable anaphora (BVA) requires the presence of an overt quantificational operator. As quantifiers vary in their scopes, there is an incongruity between the form and meaning of the pronouns, which are bound by different quantifiers. This finding also supplements the theories of Rullmann (2004), which look at semantic accounts of number agreement in bound variable pronouns.
In (34i), ‘every’ is a universal quantifier, which includes all individuals who are ‘female judges’ in this circumstance. In (34ii), ‘some’ is an existential quantifier, which can refer to a group but not all ‘female judges.’ In (34iii), ‘no’ is a negative quantifier, which takes a scope where zero percent of the ‘female judges’ are included. This example shows the relationship between the bound variable pronouns and the quantificational operators. The pronominal anaphor does not select a referent in its discourse, but it is bound by the preceding quantificational operator.
If a pronominal anaphor does not have a quantificational antecedent, but instead it has a proper name or a definite description as in example (35), the non-quantificational antecedent is called rigid designator. In this environment, the pronominal anaphor refers back to its antecedent.
In (35i), as indicated by the index, ‘she’ refers back to Beverly,’ while in (35ii), ‘she’ refers back to its preceding antecedent ‘the female lawyer.’
Condition Two states that BVA requires a co-varying anaphoric expression. Not only overt pronominal anaphors (classified in terms of finiteness) (36i), but also various types of covert anaphors (‘big PRO’) (36ii) should be considered in the discussion of 3rd person pronouns.
Condition Three states that BVA requires a dependency relation. The dependency relation for BVA holds between the quantificational antecedent and the co-varying anaphoric expression. A bound variable pronoun requires precedence and c-command, holding between the quantificational antecedent and the pronoun, to satisfy its dependency relation.

#### The distribution of bound variable pronoun

In example (37i), the quantificational antecedent precedes but does not c-command the pronoun. The quantificational antecedent ‘every female pilot’ is embedded in the relative clause which modifying the subject of the matrix clause ‘the man,’ while pronoun ‘she’ is located in the matrix clause, so the quantificational antecedent does not have a c-commanding relationship with the pronoun, and BVA is not satisfied. In contrast, bound variable anaphora can be satisfied in example (37ii)’s environment, where the quantificational antecedent ‘every female pilot’ is the subject of the matrix clause and the head of the relative clause, thus it c-commands the pronoun ‘she,’ so the BVA is possible. The two examples indicate that c-command is the most necessary requirement for bound variable pronoun.

#### E-type anaphora

For the distribution of bound variable anaphora, c-command is almost always the first thing to consider; however, there is a situation that c-command relationship does not occur in the sentence, but the sentence is still grammatical, if so, then this type of pronoun is called "E-type pronoun." As a counterpart of the analysis for c-command, E-type anaphora relies on the “scope” of its quantificational antecedent. (Safir 2004, Barker 2012)
In many cases, the concepts of c-command and scope are hard to differentiate. Example (38) shows the situation where both c-command and the scope analyses are satisfied.
In this example, the pronoun “she” in example (38i) is bound with its quantificational antecedent "every woman," which satisfies condition one for bound variable anaphora. In example (38ii), the pronoun “she” is replaced by the existential quantifier “someone,” which can be considered as under the scope of its preceding universal quantifier “every,” because the scope of "every" is bigger than the scope of "some." Therefore, example (38) concurs with both the c-command and the scope requirements.

## Data
### English
#### Weak crossover

While bound variable pronouns fall into the category of anaphora, there are cases in which bound variable pronouns behave differently from regular anaphora. Take, for instance, the examples below, as presented by Reinhart.
In (38a), the pronoun him is able to be interpreted as being coreferential with Siegreied. However, in (38b), the same pronoun him is not able to be interpreted as being coreferential with either a manager or each manager. The difference between these two sentences is only that the DP Siegreied is replaced with a quantified DP. Likewise, when Siegreied is replaced with the wh-expression who as in (38c), the coreferential interpretation is again not possible.
Reinhart is quick to point out that the difference in available interpretations is not because the logical form of these sentences is impossible to describe. To prove this, she provides an interpretation of these sentences in symbolic logic, shown below.
This is the meaning that is trying to be expressed in (38a)–(38c), these forms are not able to properly capture this meaning. The problem seen here is called "weak crossover".

#### Problems with c-command restriction

Another difficulty faced in determining a theory of anaphora that properly encompasses bound variable pronouns is properly determining the definition of bound. As previously stated, a bound variable pronoun is said to be bound if it is c-commanded by its antecedent. In many cases, this definition makes correct predictions about the availability of bound variable interpretations. However, as in the example below, this requirement does not always seem to work.
| (40)(a) The father of each of the boys hates him (b) Gossip about every business man harmed his career (Reinhart, 1983: 56 (20)) | Simplified syntax tree adapted from Reinhart (1983) example 40a, made with phpSyntaxTree | Simplified syntax tree adapted from Reinhart (1983) example 40b, made with phpSyntaxTree |
In both of these instances, Reinhart claims that most people will find co-reference (and a "bound variable" interpretation) permissible. However, in each case the quantified DP does not in fact c-command the pronoun, as shown in the tree diagrams for these sentences. Reinhart proposes that we need to create a theory of anaphora that accounts for cases such as these.

#### Issues with adjoined prepositional phrases

Similar to the problem with c-command stated above, issues with binding arise when the antecedent appears within a prepositional phrase (PP). Reinhart illustrates this problem with the following example.
| (41) I talked with every student$_i$ about his$_i$ problems (Reinhart, 1983: 82 (Appendix (4a))) | Simplified syntax tree adapted from Reinhart (1983) appendix example 4b, made with |
In this case, and cases like it, the antecedent does not c-command the pronoun. This is clearly visible in the tree structure provided for this sentence. Regardless of the lack of c-command, the "bound variable" interpretation is nonetheless permissible. This yet again illustrates that there are problems with the current definition of binding.

### Mandarin Chinese
#### Similarities to English

Mandarin Chinese contains bound variable pronouns that behave similarly to bound variable pronouns in English in some ways.
| (42)Sheiwhokanjyanseetahemuchin?motherShei kanjyan ta muchin?who see he mother'Who sees his mother?' (adapted, emphasis added) (Higginbotham, 1980: 695 (94)) | Simplified syntax tree adapted from Higginbotham (1980) example 94, made with phpSyntaxTree |
| (43)Kanjyanseetadehismuchinmotherrangmakeshei doueveryonehenverygausying.happyKanjyan tade muchin rang {shei dou} hen gausying.see his mother make everyone very happy'Seeing his mother made everyone very happy.' (emphasis added) (Higginbotham, 1980: 695 (96)) | Simplified syntax tree adapted from Higginbotham (1980) example 96, made with phpSyntaxTree |
Example (42) can be interpreted as "Who sees his mother", in which who and his refer to the same person.
In example (43), his is able to either refer either an unnamed third party, or to co-refer with everyone. This leads to an ambiguity, in which the second interpretation is the bound variable interpretation.

#### Quantifier scope adverb "dou"

As in English, the quantifier must have scope over the pronoun in order to permit a bound variable interpretation. Mandarin uses the scope adverb dou (or all) to denote the scope of certain noun phrases. Compare, for instance, examples (44) and (45) below:
[$_{NP}$
[$_S$
meige
every
ren$_i$
man
shoudao]
receive
de
DE‍
xin]
letter
shangmian
top
dou
all
you
have
ta$_i$
he
taitai
wife
de
DE‍
mingzi.
name
[$_{NP}$ [$_S$ meige ren$_i$ shoudao] de xin] shangmian dou you ta$_i$ taitai de mingzi.
 every man receive DE‍ letter top all have he wife DE‍ name
'For every person x, letters that x received have x's wife's name on them.' (Huang, 1982: 409 (206a))
*[$_{NP}$
[$_S$
meige
every
ren$_i$
man
dou
all
shoudao]
receive
de
DE‍
xin]
letter
shangmian
top
you
have
ta$_i$
he
taitai
wife
de
DE‍
mingzi.
name
*[$_{NP}$ [$_S$ meige ren$_i$ dou shoudao] de xin] shangmian you ta$_i$ taitai de mingzi.
 every man all receive DE‍ letter top have he wife DE‍ name
*'Letters that everybody$_i$ received have his$_i$ wife's name on them.' (Huang, 1982: 409 (206b))
In example (44), the scope adverb occurs outside of the quantified noun phrase every man, which permits this quantifier to have scope over the entire sentence, thus allowing it to c-command the pronoun ta (or he). This allows he to be interpreted as a variable bound to the quantifier phrase every man. In contrast, in example (45) the scope adverb occurs within the quantified noun phrase, causing the quantifier to only have scope over that noun phrase. It therefore cannot c-command the pronoun ta, and so the pronoun cannot be interpreted as a variable bound to the quantifier.

#### CC-constraint

There are cases in which Mandarin Chinese appears to differ from English with respect to pronouns being able to be interpreted as bound variables. Take, for instance, example (46):
| (46)Sheiwhode muchinmotherdouallkanjyanseeta.himShei de muchin dou kanjyan ta.who mother all see him'Everyone's mother saw him.' (emphasis added) (Higginbotham, 1980: 696(98)) | Simplified syntax tree adapted from Higginbotham (1980) example 98, made with phpSyntaxTree |
Here, him cannot be co-referenced with everyone and must refer to another person. This differs from the English interpretation which can allow him to refer as a bound variable to whichever person everyone selects. Higginbotham claims that this is due to Mandarin Chinese having stronger constraints on reindexing than English in general. He suggests that, in Mandarin, the following form cannot be created by the reindexing rules:
Here, the e$_i$ is a trace element. This constraint is called the "CC-Constraint". It states that, in the underlying structure, the quantifier cannot appear inside another, differently indexed noun phrase. This is a stronger version of his previously stated "C-Constraint", and he proposes that while Mandarin must always follow the CC-Constraint, English can at times relax this constraint to follow the C-Constraint instead. This, he claims, leads to the difference in interpretation possibilities in the English and Mandarin versions of example (46), since the quantifier shei appears within the differently indexed noun phrase shei de muchin, and so it cannot be reindexed to have the same index as ta.

#### Empty and overt pronoun interpretations

Sentences such as (47), below, also seem to have different interpretation possibilities from English at first:
Mei
every
ge
CL
ren
person
dou
all
shuo
say
ø
xihuan
like
Zhongguocai.
Chinese food
Mei ge ren dou shuo ø xihuan Zhongguocai.
every CL person all say like {Chinese food}
'Everybody$_1$ says that (I/you/he$_{1/2}$/we/they...) like/likes Chinese cuisine.'
Mei
every
ge
CL
ren
person
dou
all
shuo
say
ta
3SG
xihuan
like
Zhongguocai.
Chinese food
Mei ge ren dou shuo ta xihuan Zhongguocai.
every CL person all say 3SG like {Chinese food}
'Eveybody$_1$ says that he$_2$ likes Chinese cuisine.' (Y. Huang, 1994: 173(6.51))
| Simplified syntax tree adapted from Y. Huang (1994) example 6.51a, made with phpSyntaxTree | Simplified syntax tree adapted from Y. Huang (1994) example 6.51b, made with phpSyntaxTree |
In (47a), the empty pronoun ø is able to refer to any entity. However, the preferred reading is for it to be interpreted as a variable bound to the quantifier mei ge ren (or everyone). In contrast, the ta (he) in sentence (47b) is unable to have a bound variable interpretation, and must be interpreted as referring to some other third party. Huang states that this is because the empty pronoun construction (47a) is possible, and so it is preferred as the construction that carries the bound variable interpretation. This explanation is made as an extension of a claim put forward by Chomsky in his theory of anaphora, which states that where empty pronouns and overt pronouns are both able to be used as a reference, languages will prefer to use the empty pronoun. This implies that, since English does not have an empty pronoun available in the above examples, the overt pronoun he is used to refer to the quantifier everybody. However, since the empty pronoun is available in Mandarin, using it is preferred when the pronoun in the sentence is meant to corefer with everybody, as in (47a).

### German
#### Embedded possessives

Kratzer provides a German example:
*Ich
1SG
bin
be.1SG
der
the.MASC.SG
einzige,
only.one
der t
who.MASC.SG
meinen
1SG.POSS.ACC
Sohn
son
versorg-t.
take.care.of-3SG
*Ich bin der einzige, {der t} meinen Sohn versorg-t.
1SG be.1SG the.MASC.SG only.one who.MASC.SG 1SG.POSS.ACC son take.care.of-3SG
I am the only one who is taking care of my son. (Kratzer, 2009: 191 (5))
Wir
1PL
sind
be.1/3PL
die
the.PL
einzigen,
only.ones
die t
who.PL
unseren
1PL.POSS.ACC
Sohn
son
versorg-en.
take.care.of-1/3PL
Wir sind die einzigen, {die t} unseren Sohn versorg-en.
1PL be.1/3PL the.PL only.ones who.PL 1PL.POSS.ACC son take.care.of-1/3PL
We are the only ones who are taking care of our son. (Kratzer, 2009: 191 (7))
In the above examples, Kratzer notes that although examples (48) and (49) are grammatical, there is an underlying issue with (48). (48) is deemed to be not preferred due to how the bound variable readings in German for any embedded possessives is not allowed. Kratzer mentions that due to the grammaticality of German, there is a "person feature clash between possessive and embedded verbs" in (49). In order for (48) to have proper bound variable interpretation, proper 1st person verbal agreement must be addressed in the relative clause.

#### Possessor-raising

Should a bound variable cause ungrammaticality, like in (48), then a possessor-raising construction is required.
Wir
1PL
sind
be.1/3PL
die
the.PL
einzigen,
only.ones
denen du t
who.PL.DAT
unsere
1PL.POSS.ACC
Röntgenbilder
X‍-rays
gezeigt
shown
hast.
have.SG
Wir sind die einzigen, {denen du t} unsere Röntgenbilder gezeigt hast.
1PL be.1/3PL the.PL only.ones who.PL.DAT 1PL.POSS.ACC X‍-rays shown have.SG
We are the only ones who you showed our X-rays. (Kratzer, 2009: 200 (24))
*Wir
1PL
sind
be.1/3PL
die
the.PL
einzigen,
only.ones
denen du t
who.PL.DAT
unsere
1PL.POSS.ACC
Katze
cat
gefüttert
fed
hast.
have.SG
*Wir sind die einzigen, {denen du t} unsere Katze gefüttert hast.
1PL be.1/3PL the.PL only.ones who.PL.DAT 1PL.POSS.ACC cat fed have.SG
We are the only ones for whom you fed our cat. (Kratzer, 2009: 200 (25))
(51), an example of possessor raising, is used when the absence of a bound variable causes ungrammaticality. In this instance, a separate head would pop up between the VP and v, preventing the v from binding to a bound variable interpretation.
Multiple arguments against this, by Pylkkänen and by Hole, state otherwise. Pylkkänen's argument, about low applicatives and high applicatives, states that on a syntax tree level, low applicatives have an applicative morpheme below the verb in a sentence and involve an additional v, or pronoun maker. In looking at the German examples, (51) is deemed ungrammatical due to the possessor-raising and misplacement of the pronoun maker, or lack of a bound variable interpretation. To Pylkkänen, (50) is considered a low applicative sentence, and grammatical.
Hole's argument agrees with Pylkkänen's, stating that the dative argument would introduce a new head in between a VP and v, agreeing with Pylkkänen's low applicative theory.