In generative linguistics, PRO (called "big PRO", distinct from pro, "small pro" or "little pro") is a pronominal determiner phrase (DP) without phonological content. As such, it is part of the set of empty categories. The null pronoun PRO is postulated in the subject position of non-finite clauses. One property of PRO is that, when it occurs in a non-finite complement clause, it can be bound by the main clause subject ("subject control") or the main clause object ("object control"). The presence of PRO in non-finite clauses lacking overt subjects allows a principled solution for problems relating to Binding Theory.
Within Government and Binding theory, the existence and distribution of PRO followed from the PRO Theorem, which states that PRO may not be governed. More recent analyses have abandoned the PRO Theorem. Instead, PRO is taken to be in complementary distribution with overt subjects because it is the only item that is able to carry null case which is checked for by non-finite Tense Markers (T), for example the English to in control infinitives.
The Extended Projection Principle (EPP) requires that all clauses have a subject. A consequence of the EPP is that clauses that lack an overt subject must necessarily have an "invisible" or "covert" subject; with non-finite clauses this covert subject is PRO.
Motivation for a PRO subject comes from the grammatical of sentences such as (1) and (2), where the subject of the infinitival to-clause, though not overtly expressed, is understood to be controlled by an argument of the main clause. In (1a), the subject of control is understood to be the same person that issued the promise, namely John. This is annotated in (1b) by co-indexing John with PRO, which indicates that the PRO subject of [TPto control the situation] co-refers with John. In (2a), the subject of sleep is understood to be the same person that was convinced, namely Bill. This is annotated in(2b) by co-indexing Bill with PRO, which indicates that the PRO subject of [TPto sleep] co-refers with Bill.
(1) a. John promised Bill to control the situation. b. Johnj promised Bill [CP[TPPROj to control the situation]] (2) a. John convinced Bill to sleep. b. John convinced Billk [CP[TPPROk to sleep]] (adapted from: Koopman, Sportiche and Stabler 2014: 247 (29), 251 (47b))
Since the argument that controls PRO in (1a) is the subject, this is called subject control, and PRO is co-indexed with its antecedent John, As shown in (2a), it is also possible to have object control, where the argument that controls PRO is the object of the main clause, and PRO is co-indexed with its antecedent Bill.
In the context of the EPP, the existence of subject and object control follows naturally from the fact that the null pronominal subject PRO can be co-indexed with different DP arguments. While (1a) and (2a) show the surface sentences, (1b) and (2b) show the more abstract structure where PRO serves as the subject of the non-finite clauses, thereby satisfying the EPP-feature of T (realized by infinitival 'to'). The following tree diagrams of examples (1) and (2) show how PRO occupies the subject position of non-finite clauses.
Every verb has theta roles and under the Theta Criterion every theta role must be present in the structure of the sentence; this means that theta roles must be associated with a syntactic position even when there is no overt argument. Therefore, in the absence of an overt subject, the null category PRO helps to satisfy the Theta Criterion. For example:
(3) a. John promised Mary to examine the patient. b. John promised Mary [PRO to examine the patient]. (adapted from: Koopman, Sportiche and Stabler 2014: 247 (31))
In example (3), the verb examine is associated with the following lexical entry:
examine: V <DPagent DPtheme>
Accordingly, the verb examine must have a DP (determiner phrase) as an agent and a DP as a theme. However, in (3a), since no overt DP functions as the agent of examine, this should be a violation of the Theta Criterion. However, the presence of the null PRO subject, as shown (3b), satisfies the Theta Criterion by having PRO as the DPagent in the sentence and the patient as the DPtheme. The tree diagram (3) represents how PRO satisfies the theta criterion of examine by being the DPagent in the non-finite clause.
The claim that non-finite clauses have a phonologically null PRO subject is in part motivated by Binding Theory -- in particular, the idea that an anaphor requires a local antecedent to be present. Reflexive pronouns such as myself and oneself require a local antecedent. As shown in (4), PRO can function as an antecedent for reflexives: in (4a) PRO is the antecedent for the reflexive pronoun 'myself', and in (4b) PRO functions as the antecedent for the impersonal reflexive oneself. If the null subject PRO were not present in examples like (4a) and (4b), then non-finite clauses would contain anaphors that lacked a local antecedent, and incorrectly predicting that such sentences to be ungrammatical. The grammaticality of such sentences confirms that the reflexives have an antecedent, which by hypothesis is PRO.
(4) a. It's important [PROi to prepare myselfi properly for the exam] b. It's important [PROj to prepare oneselfj properly for the exam] (Radford 2004: 111)
Note, however, that PRO itself has no local antecedent in these examples: PRO can share reference with an external referent as in (4a), or have an arbitrary reading as in (4b).
Evidence that non-finite clauses have a phonologically null PRO subject comes from the fact that predicate nominals must agree with the subject of a copular clause. This is illustrated in (5) and (6). Example (5) shows that the number of the predicate nominal must agree with that of the overt subject: in (5a) the singular subject (their son) requires a singular nominal predicate (millionaire); in (5b), the plural subject (his sons) requires a plural nominal predicate (millionaires). The examples in (6) show that the same contrast holds of PRO subjects: if PRO is controlled by a singular antecedent, in (6a) the subject of want, then the predicate nominal must be singular; if PRO is controlled by a plural antecedent, as in (6b), then the predicate nominal must be plural.
(5) a. They want [their son to become a millionaire/*millionaires] b. He wants [his sons to become *a millionaire/millionaires]
(6) a. He wants [PRO to become a millionaire/*millionaires] b. They want [PRO to become *a millionaire/millionaires] (adapted from Radford 2004: 110)
The following tree diagrams show how PRO, as the subject of the copular clause, enters into agreement with the nominal predicate introduced by the copular verb become. The application of agreement is automatically explained if PRO is co-indexed with the subject of the main clause, with the predicate nominal simply agreeing with the number features of the argument that controls PRO, just as it would be if an overt subject had been introduced.
There are two main approaches to PRO:
The interpretation of PRO may be dependent on another noun phrase; in this respect PRO behaves like an anaphor. But it is also possible for PRO to have arbitrary reference; in this respect, PRO behaves like a pronominal. This is why, in terms of features, PRO may be described as follows:
PRO = [+anaphor, +pronominal]
However, this set of features poses a problem for Binding Theory, as it imposes contradictory constraints on the distribution of PRO. This is because an anaphor must be bound in its governing category, but a pronominal must be free in its governing category:
an anaphor must be bound in governing category a pronominal must be free in governing category
Chomsky (1981) solves this paradox with the so-called PRO theorem which states that PRO must be ungoverned.
Since PRO cannot be governed it cannot have a governing category, and so is exempt from the Binding Theory. Under this definition, the features of PRO no longer conflict with the principles of Binding Theory. However, developments in Binding Theory since 1981 have presented significant challenges to the PRO Theorem. For example, if PRO is ungoverned, then it must not be case-marked. However, in Icelandic, PRO appears to be case-marked, and is thus governed. More recent research attempts to characterize PRO without reference to the PRO theorem.
It has been argued that PRO has case, which is checked by non-finite T. This is illustrated by the contrasting examples in (7), (8) and (9) below. The (a) examples show contexts where an overt DP subject is ungrammatical in the specifier position of the TP (Tense Phrase). The (b) examples shows that, in exactly the same contexts, a null PRO subject is grammatical.
(7) a. *Kerry attempted [Bill [T to] study physics]. b. Kerryi attempted [PROi [T to] to study physics.
(8) a. *Kerry persuaded Sarah [Bill [T to] study physics]. b. Kerry persuaded Sarahj [PROj [T to] study physics.
(9) a. *It is not easy [Bill [T to] study physics]. b. It is not easy [PROk [T to] study physics. (adapted from Martin 2001: 144 (13))
The subject of the non-finite T must satisfy the case checked by T, and this case cannot be satisfied by a pronounced (i.e., overt) DP, it is argued that these non-finite T's (and -ing clausal gerunds), check for a special Null Case (assigned in English by infinitival to), and that the only DP compatible with such a case is PRO.
The following tree diagrams for (7b), (8b), and (9b) show how PRO can be co-indexed with the different types of antecedents: the tree diagram for (7a) shows subject control; the tree for (8b) shows object control; the tree for (9b) shows PRO with arbitrary reference.
It is furthermore argued that null case is the only case assignable to PRO, and that PRO is the only DP to which null case may be assigned. These assertions have since been challenged by certain data which appear to demonstrate that PRO may carry case other than null case.
The distribution of PRO is constrained by the following factors:
The examples in (10) show that PRO is grammatical as the subject of non-finite clauses. In both (10a) and (10b), PRO is the subject of the non-finite clause to study physics. In (10a), the antecedent of PRO is the matrix subject Kerry, and in (10b) it is the matrix object Sarah. The examples in (11) show that PRO is ungrammatical in finite clauses and in non-subject position: (11a) establishes that PRO cannot be the subject of a finite clause, and (11b-c) establish that PRO cannot occur in complement position. In particular, (11b) shows that PRO cannot be complement to V, while (11c) shows that PRO cannot be complement to P.
(10) a. Kerryi attempted PROi to study physics. b. Kerry persuaded SarahjPROj to study physics.
(11) a. *Pam believes PRO solved the problem. b. *Sarah saw PRO. c. *Sarah saw pictures of PRO. (Martin 2001: 141)
(12) a. *It was expected PRO to shave himself. b. *John thinks that it was expected PRO to shave himself. c. *John's campaign expects PRO to shave himself. d. John expects PRO to win and Bill does too. (= Bill expects Bill to win) e. *Johni told MaryjPROi+j to wash themselves/each other. (Hornstein 1999: 73)
In contexts where PRO is not obligatorily controlled, as in (13a), then when PRO does have an antecedent, the following restrictions hold:
(13) a. It was believed that PRO shaving was important. b. Johni thinks that it is believed that PROi shaving himself is important. c. Clinton'si campaign believes that PROi keeping his sex life under control is necessary for electoral success. d. John thinks that PRO getting his resume in order is crucial and Bill does too. e. Johni told Maryj [that [[PROi+j washing themselves/each other] would be fun]]. (Hornstein 1999: 73)
For a sentence such as (14a), there is a debate about whether PRO moves from Spec-VP (where it is introduced) to Spec-TP in non-finite clauses. Baltin (1995) argues that the tense marker to does not have an EPP feature, and that therefore PRO does not move to Spec-TP; this yields the structure in (14b). In contrast, Radford (2004) argues that infintival to does have an EPP feature, and that therefore PRO must move to Spec-TP, as in (14c).
(14) a. They don't want [to see you] b. They don't want [CP [C ?] [TP [T to] [VPPRO [V see] you]]] c. They don't want [CP [C ?] [TPPRO [T to] [VP
Baltin argues against moving PRO to Spec-TP on this basis of so-called wanna contraction, illustrated in (15): placing PRO between want and to would block the contraction of want+to into wanna. Radford argues that an analysis that assigns an EPP feature to infintival to (and so forces movement of PRO to Spec-TP), can still account for wanna: the latter can be achieved by having to cliticise onto the null complementizer ?, and then having this [C-T] compound cliticise onto want.
(15) They don't wanna see you.
Radford justifies moving PRO to Spec-TP on the basis of the binding properties of certain sentences. For example, in (16), moving PRO to Spec-TP is necessary for it to c-command themselves, which in turn is necessary to satisfy the binding principles and have PRO be coreferenced with themselves.
(16) a. "to themselves be indicted" b. [CP [C ?] [TP [T to] [AUXPthemselves [AUX be] [VP [V indicted] PRO]]]] c. [CP [C ?] [TP PRO [T to] [AUXPthemselves [AUX be] [VP [V indicted]
Occurrences of PRO have been discussed and documented with regards to many languages. Major points of similarities and differences center on the following:
In English, PRO is treated as caseless, and can be controlled by the subject (17a) or object (17b) of the verb in the main clause) or it may be uncontrolled (17c).
(17) a. Johnj promised Mary [PROj to control himself] b. John convinced Billk [PROk to sleep] c. [PRO to know her] is [PRO to love her]. ((a) & (b) from Koopman, Sportiche and Stabler, 2014: 247 (30), 251 (47))
In (17a) above, the subject of the verb in the main clause (John promised Mary) is John, so PRO is interpreted as referring to John, while in (17b) to sleep is an action performed by Bill, and PRO is interpreted as referring to Bill. And in (17c), PRO is not controlled by any antecedent, and so can be paraphrased as 'For someone to love her is for someone to know her'; this is called impersonal PRO or arbitrary PRO.
Icelandic PRO appears to be case-marked. Rules of case agreement in Icelandic require that floated quantifiers agree in case (as well as in number and gender) with the DP they quantify. As illustrated in (18) and (19), this agreement requirement holds of PRO. In (18), the quantifier báðir 'both' appears in the nominative masculine plural form. In (19), the quantifier báðum 'both' appears in the dative plural form. The occurrence of such forms indicates that the quantifiers are agreeing with their antecedent, namely PRO. This leads to the conclusion that PRO must be case-marked, and this is possible only if PRO is in Spec-TP.
(18) Bræðrunum likaði illa [að PRO vera ekki báðir kosnir]. brothers.the.D.M.PL liked ill to N be not both.N.M.PL elected 'The brothers disliked not being both elected.' (19) Bræðurnir æsktu þess [að PRO vera báðum boðið]. brothers.the.N.M.PL wished(for) it to D be both.D.PL invited 'The brothers wished to be both invited.' (Sigurðsson and Sigursson, 2008: 410 (18))
PRO in adjunct clauses in Spanish can be controlled by dative experiencer subjects. In (20), the verb saber 'know' introduces the dative experiencer subject Juan, and this DP controls the PRO in the phrase sin PRO saber por qué. (Dative experiencers (see Theta role) were also very common in Old English.)
(20) [Sin PROi saber por qué] A Juani le gusta María. without to.know why to Juan.DAT 3s.DAT likes María.NOM 'Without knowing why, Juan likes María.' (Montrul 1998: 32 (12))
In French, PRO can be controlled by dative experiencers in object position in an adjunct clause. (This is also true for Spanish.) In (21), the dative experiencer object Pierre controls the PRO-subject of the adjunct clause avant même de PRO y avoir été initié 'before even having been initiated to it'.
(21) Le parachutisme effraye Pierrei [avant même de PROi y avoir été initié]. the skydiving scares Pierre before even of LOC to.have been initiated 'Skydiving scares Peteri [even before PROi being initiated to it].' (Montrul 1998: 33 (13))
The structure of sentences like (21) can lead to an ambiguous interpretation if the subject is animate. This illustrated in (26), where the PRO in the adjunct clause can be controlled by either the subject (22a) or the object (22b) of the main clause.
(22) a. Améliei effraye les étudiants avant même de PROi les rencontrer. Amelie scares the students before even of them to.meet 'Ameliei scares the students [even before PROi^meeting them].' b. Amélie effraye [les étudiants]j avant même de PROj la rencontrer. Amelie scares the students before even of her to.meet 'Amelie scares the studentsi [even before PROj^meeting her].'
Norbert Hornstein has proposed that control verbs can be explained without resorting to PRO, and as such that PRO can be done away with entirely. This theory explains obligatory control with movement, and non-obligatory control with pro (little pro). This alternative theory of control is in part motivated by adherence to the minimalist program.
The Movement Theory of Control is predicated on the following principles.
(23) a. ?-roles are features on verbs. b. A DP/NP "receives" a ?-role by checking a ?-feature of a verbal/predicative phrase that it merges with. c. There is no upper bound on the number of ?-roles a chain can have. d. Sideward movement is permitted. (Hornstein 1999: 78)
The idea introduced in (23d) is of particular importance as a single DP/NP-chain can acquire more than one ?-role by simultaneously satisfying the ?-criterion across multiple positions, e.g. the subject of the non-finite embedded clause and the subject of the matrix verb. In this context a chain refers to an argument which has moved and all of its traces. Hornstein argues that there is insufficient empirical evidence that a chain must be restricted to a single ?-role and that allowing multiple ?-roles per chain is the null hypothesis.
These principles allow control verbs to be explained by movement and what had previously been analyzed as PRO is instead treated as the trace of DP/NP-movement. Consider the example in (24): to derive (24a) the DP John moves through several positions, and checks a ?-role at each landing site; this is shown in (24b). In this way, the chain of Johns satisfies the Agent ?-role of the verb hope, as well as the Agent ?-role of the verb leave. In the movement analysis, multiple ?-role assignment does the same work as allowing obligatory control of a PRO subject.
(24) a. John hopes to leave. b. [IPJohn [VPJohn [hopes [IPJohn to [VPJohn leave]]]]] (Hornstein 1999: 79)
With the need for PRO eliminated under obligatory control, Hornstein argues that it follows naturally that PRO should be altogether eliminated from the theory as it is equivalent to little pro. In particular, little pro is equivalent to an indefinite or a definite pronoun (similar to English one) and has the same distribution as non-obligatory control PRO. With non-obligatory control, an overt embedded subject may be introduced (25) or omitted (26), and omitting the embedded subject may result in an arbitrary reading. Additionally, the overt subject may not be moved out of the embedded clause, (27).
(25) a. It is believed that Bill's shaving is important. b. It is impossible for Bill to win at roulette. (26) a. It is believed that pro shaving is important. b. It is impossible pro to win at roulette. (27) a. *Bill's is believed that shaving is important. b. *Bill is impossible to win at roulette. (adapted from Hornstein 1999: 92)
In addition, non-obligatory control and movement are in complementary distribution. Since non-obligatory control occurs when movement is not permitted, it may be treated as an elsewhere case: little pro inserted as a last resort measure to rescue the derivation if an overt subject is missing.
Since the publication of this movement theory of control some data has been discussed which it does not explain, challenging the completeness of the movement theory of control.
|D or dat||Dative|
|DFT or dft||Default|
|N or nom||Nominative|
|AUXP||Auxiliary verb phrase|
|Øpast||past tense marker|
|Øpres||present tense marker|
|Ø(WORD)||indicates movement of WORD|
(See Syntactic abbreviation key for more information.)
Note: Both the tense marker (under Ts) and the tensed verb (under Vs) are added in the syntactic tree diagrams for readability, although only one would be shown in an average tree diagram. That is, the verbs in these trees would be in the infinitival form if the tense (T) is shown, and is not empty (Ø). Also, movement of Determiner Phrases has only been illustrated when it is relevant, as in Tree Diagram (10).