Hubbry Logo
PRO (linguistics)PRO (linguistics)Main
Open search
PRO (linguistics)
Community hub
PRO (linguistics)
logo
7 pages, 0 posts
0 subscribers
Be the first to start a discussion here.
Be the first to start a discussion here.
PRO (linguistics)
PRO (linguistics)
from Wikipedia

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.[1] 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.[1]

Within government and binding theory, the existence and distribution of PRO followed from the PRO theorem, which states that PRO may not be governed.[2] More recent analyses have abandoned the PRO theorem.[3] 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.[4]

Motivation for PRO

[edit]

There are several independent pieces of linguistic theory which motivate the existence of PRO.[3][5] The following four are reviewed here:

  • the extended projection principle
  • the theta criterion
  • binding theory
  • nominal agreement

Extended projection principle

[edit]

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.[5]

Motivation for a PRO subject comes from the grammaticality 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 [TP to 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 [TP to sleep] co-refers with Bill.

(1) a. John promised Bill to control the situation.
    b. Johnj promised Bill [CP[TP PROj to control the situation]]
(2) a. John convinced Bill to sleep.
    b. John convinced Billk [CP[TP PROk 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.

Tree Diagram for (1)
Tree Diagram for (2)
Tree Diagram for (3)

Theta criterion

[edit]

Every verb has theta roles and under the theta criterion every theta role must be present in the structure of the sentence;[5] 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.[5] 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>[1]

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.[1] However, the presence of the null PRO subject, as shown (3b),[1] satisfies the theta criterion by having PRO as the DPagent in the sentence and the patient as the DPtheme.[1] The tree diagram (3) represents how PRO satisfies the theta criterion of examine by being the DPagent in the non-finite clause.

Binding theory

[edit]
Tree Diagram for (4b) Note that for simplicity the adverb properly is omitted.

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.[3]

(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).

Nominal agreement

[edit]

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.[3] 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.[3]

Tree Diagram for (5a)
Tree Diagram for (6a)

Theoretical status of PRO

[edit]

There are two main approaches to PRO:

  • work from the 1980s attempts to derive its existence from the PRO theorem
  • recent work emphasizes the connection of PRO with weak case

PRO theorem

[edit]

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.[2] 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.[6] 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.[6] More recent research attempts to characterize PRO without reference to the PRO theorem.[3]

Null case of PRO

[edit]

It has been argued that PRO has case, which is checked by non-finite T.[7] 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.[4]

(7) a. *Kerry  attempted [Bill [T to] study physics].
    b.  Kerryi attempted [PROi  [T 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),[8] and that the only DP compatible with such a case is PRO.[4]

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.

Tree Diagram for (7b)
Tree Diagram for (8b)
Tree Diagram for (9b) Note that for simplicity negation (not) is omitted in this tree diagram.

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.[4] These assertions have since been challenged by certain data which appear to demonstrate that PRO may carry case other than null case.[9]

Distribution of PRO

[edit]

The distribution of PRO is constrained by the following factors:

  • PRO can only be the subject of a non-finite clause
  • PRO can be controlled by a subject or object antecedent
  • PRO can lack an antecedent, i.e. be uncontrolled[10]
  • PRO may undergo movement

PRO as subject of non-finite clause

[edit]

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.[4]

(10) a. Kerryi attempted PROi to study physics.
     b. Kerry persuaded Sarahj PROj to study physics.
(11) a. *Pam believes PRO solved the problem.
     b. *Sarah saw PRO.
     c. *Sarah saw pictures of PRO.
        (Martin 2001: 141)

Obligatory control of PRO

[edit]

In contexts where PRO is obligatorily controlled, the following restrictions hold:[10]

  • PRO must have an antecedent (12a);
  • the antecedent for PRO must be local (12b);
  • PRO must be c-commanded by the antecedent (12c);
  • under VP ellipsis, PRO can only be construed with a sloppy (bound variable) reading: in (12d) Bill expects himself (Bill) to win (the reading where Bill expects John to win is excluded);
  • obligatorily controlled PRO may not have split antecedents,(12e).
(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 Maryj PROi+j to wash themselves/each other.
        (Hornstein 1999: 73)

Non-obligatory control of PRO

[edit]

In contexts where PRO is not obligatorily controlled, as in (13a), then when PRO does have an antecedent, the following restrictions hold:[10]

  • the antecedent need not be local, (13b);
  • the antecedent need not c-command PRO,(13c);
  • with VP-ellipsis, both sloppy and strict readings are permitted: in (13d), Bill may think that John having his resume in order is crucial, or that Bill may that having his own resume in order is crucial (Need fixation, Ala Al-Kajela 2015 PRO Theory, Norbert Hornstein 1999 Movement and Control claims NOC only allows strict interpretation with VP ellipsis.)
  • under non-obligatory control, PRO allows split antecedents, (13e)
(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)

Movement of PRO

[edit]
Tree diagram for (14)

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).[11] In contrast, Radford (2004) argues that infinitival to does have an EPP feature, and that therefore PRO must move to Spec-TP, as in (14c).[3]

(14) a. They don't want [to see you]
     b. They don't want [CP [C ∅] [TP     [T to] [VP PRO [V see] you]]]
     c. They don't want [CP [C ∅] [TP PRO [T to] [VP PRO [V see] you]]]
        (Radford 2004: 309 (61))

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.[11] Radford argues that an analysis that assigns an EPP feature to infinitival 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.[3]

(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.[3]

(16) a. "to themselves be indicted"
     b. [CP [C ∅] [TP [T to] [AUXP themselves [AUX be] [VP [V indicted] PRO]]]]
     c. [CP [C ∅] [TP PRO [T to] [AUXP themselves [AUX be] [VP [V indicted] PRO]]]]
     (Adapted from Radford 2004: 311)

Cross-linguistic differences in PRO

[edit]

Occurrences of PRO have been discussed and documented with regards to many languages. Major points of similarities and differences center on the following:

  • whether PRO lacks case (e.g., English)
  • whether PRO has case (e.g., Icelandic)
  • whether experiencer arguments can control PRO in adjunct clauses (e.g., Romance languages)

English PRO is caseless

[edit]

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).[12]

(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 is case-marked

[edit]

Icelandic PRO appears to be case-marked.[9] 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

brothers.the.D.M.PL

likaði

liked

illa

ill

[að

to

PRO

N

vera

be

ekki

not

báðir

both.N.M.PL

kosnir].

elected

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

brothers.the.N.M.PL

æsktu

wished(for)

þess

it

[að

to

PRO

D

vera

be

báðum

both.D.PL

boðið].

invited

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))

Romance PRO controlled by Dative experiencer

[edit]

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.[13])

(20)

[Sin

without

PROi

 

saber

to.know

por qué]

why

a

to

Juani

Juan.DAT

le

3S.DAT

gusta

likes

María.

María.NOM

[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

the

parachutisme

skydiving

effraye

scares

Pierrei

Pierre

[avant

before

même

even

de

of

PROi

 

y

LOC

avoir

to.have

été

been

initié].

initiated

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.[13] 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

Amelie

effraye

scares

les

the

étudiants

students

avant

before

même

even

de

of

PROi

 

les

them

rencontrer.

to.meet

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].'

(22) b.

Amélie

Amelie

effraye

scares

[les

the

étudiants]j

students

avant

before

même

even

de

of

PROj

 

la

her

rencontrer.

to.meet

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 studentsj [even before PROj^meeting her].'

Alternative theories

[edit]

A movement theory of control

[edit]

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.[10]

Working assumptions

[edit]

The movement theory of control is predicated on the following principles.[10]

(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.[10] In this context a chain refers to an argument which has moved and all of its traces.[3] 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.[10]

Obligatory control as movement

[edit]

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.[10]

(24) a. John hopes to leave.
     b. [IP John [VP John [hopes [IP John to [VP John leave]]]]]
        (Hornstein 1999: 79)

Non-obligatory control as pro

[edit]

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).[10]

(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.[10]

Criticism

[edit]

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.[14]

  • Imoaka argues that scrambling out of a split control clause is incompatible with the movement theory of control as constructed in Japanese[14] by Takano[15] and Fujii.[16] Imoaka argues for a theory of Equi-NP Deletion to explain control and claims that such a theory is empirically superior as it successfully explains the problematic data as well as the data previously explained by the movement theory of control.[14]

Abbreviation keys

[edit]

Morpheme gloss key

[edit]
Abbreviation Interpretation
A Accusative
D or dat Dative
DFT or dft Default
F Feminine
M Masculine
N or nom Nominative
PL Plural
SG Singular

A:accusative D:dative DFT:default N:nominative

Syntactic abbreviation key

[edit]
Abbreviation Interpretation
IP Inflectional phrase
DP Determiner phrase
NP Noun phrase
CP Complementizer phrase
TP Tense phrase
VP Verb phrase
AUXP Auxiliary verb phrase
NegP Negation Phrase
AjP Adjective Phrase

Tree diagram key

[edit]
Abbreviation Interpretation
Ø empty category
Ø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).

See also

[edit]

References

[edit]
Revisions and contributorsEdit on WikipediaRead on Wikipedia
from Grokipedia
In generative linguistics, PRO (often stylized as "big PRO" to distinguish it from the null subject "pro") is a phonologically null category that serves as the subject of non-finite clauses, particularly in control constructions where it receives its interpretation from an antecedent in the matrix clause. It appears in structures like subject control ("John tried [PRO to leave]") or object control ("Mary persuaded John [PRO to leave]"), satisfying the Extended Projection Principle by occupying the specifier position of the embedded tense phrase while bearing a thematic role without requiring case assignment. Unlike overt pronouns, PRO does not alternate with lexical noun phrases and is restricted to ungoverned positions, such as the subjects of infinitives. PRO was introduced within Noam Chomsky's Government and Binding (GB) theory as one of four types of empty categories, alongside NP-trace, wh-trace, and pro, characterized by the feature specification [+pronominal, +anaphoric]. This dual nature gives rise to the PRO theorem, which stipulates that PRO must occur in positions ungoverned by a head or another category to avoid conflicting binding requirements: as an anaphor, it demands a local antecedent, while as a pronominal, it requires freedom from binding. Control constructions involving PRO are classified into obligatory control (OC), where PRO has a local c-commanding antecedent and exhibits properties like sloppy identity under ellipsis, and non-obligatory control (NOC), which allows long-distance or split antecedents but lacks such ellipsis behavior. For instance, OC is evident in verbs like try ("John tried [PRO to win], and Mary did too" implies Mary tried to win), whereas NOC occurs with verbs like promise in certain contexts. In subsequent minimalist frameworks, the status of PRO has been debated, with proposals to eliminate it entirely by reanalyzing control as movement (e.g., sideward movement of a DP to the embedded subject position, leaving a trace). However, such movement-based accounts face challenges in explaining NOC structures, passivization effects, and the diversity of control verbs, leading to alternative theories that retain PRO or treat control via predication and thematic relations without invoking empty categories in the syntax. PRO's properties continue to inform research on argument structure, binding, and cross-linguistic variation in infinitival complementation.

Core Concepts and Motivation

Definition of PRO

In generative , PRO is an abstract null category that functions as the unpronounced subject of non-finite clauses, such as s, serving as a covert pronominal element without phonological realization. It bears features like person and number but lacks case marking, and its interpretation is typically determined by an antecedent in the controlling or, in some cases, arbitrarily. PRO originated in Noam Chomsky's Government and Binding (GB) theory during the 1980s, as part of efforts to formalize the syntax of control structures within . A classic example is the sentence "John wants [PRO to leave]," where PRO occupies the subject position of the embedded infinitive and is obligatorily controlled by the matrix subject "John," ensuring co-reference. PRO is distinct from other null elements in the grammar, particularly pro and trace, due to its unique syntactic and interpretive properties. Unlike pro—an argumental null subject found in finite clauses of pro-drop languages like Italian or Spanish, where it is licensed by rich verbal agreement and governed by the inflectional head—PRO appears exclusively in ungoverned, non-finite environments and cannot occur in tensed clauses. Similarly, PRO differs from trace, which is not a base-generated category but a residue left by movement operations, such as NP-movement or ; traces are co-indexed with their antecedents and subject to proper government, whereas PRO is independently generated and assigns or receives its own theta role. This sets PRO apart from overt subjects, which are phonologically realized and case-marked, as well as from implicit arguments in resultative or middle constructions that lack a dedicated syntactic position. In satisfying theta-role requirements for non-finite predicates, PRO ensures that subjects in such clauses receive the necessary argument structure without overt expression.

Extended Projection Principle

The Extended Projection Principle (EPP), proposed by in his 1981 work Lectures on Government and Binding, extends the core —which ensures that a lexical item's properties are preserved across all levels of syntactic representation (D-structure, S-structure, and )—by imposing an additional structural requirement that every must project a subject position. This formulation addresses the universal need for a filled specifier position in the inflectional phrase (IP), reflecting a fundamental property of clause structure in generative syntax. Within the Government and Binding (GB) framework, the EPP evolved as a key constraint to explain why subjectless clauses are illicit, such as the ungrammatical "*Seems that John left" in English, which necessitates an expletive subject like "It seems that John left" to occupy [Spec,IP]. The principle underscores that the subject position is not merely thematic but a obligatory syntactic slot, often filled by movement of an argument or base-generation of an expletive, thereby maintaining clause integrity across finite and non-finite contexts. In non-finite clauses, particularly control infinitivals without overt subjects, the EPP motivates the presence of PRO, an unpronounced pronominal element, to fill the subject position and satisfy the structural demand, as exemplified in constructions like "Winning the race is easy [PRO to imagine]" or "John promised Mary [PRO to leave early]." Here, PRO occupies [Spec,IP] of the infinitival , ensuring compliance with the EPP while allowing the clause to embed without an audible subject. The EPP's interaction with clause type distinguishes finite from non-finite environments: finite clauses typically require an overt DP or expletive in [Spec,IP] due to their tense and agreement features, whereas non-finite clauses license PRO as a null alternative, preventing violations like "*John wants to leave early" interpreted without a subject. This differential behavior highlights the EPP's role in unifying subject requirements across clause varieties while accommodating the unique licensing conditions of infinitivals in GB theory.

Theta Criterion

The Theta Criterion, a fundamental principle in theta theory, stipulates that each must bear exactly one theta role and that each theta role must be assigned to exactly one , ensuring bi-uniqueness in the mapping between syntactic and semantic roles. This constraint, originally formulated by , operates at the level of D-structure to regulate how verbs assign thematic roles such as agent, , or experiencer to their . Violations of the Theta Criterion would arise if a verb's theta roles were left unassigned or if an argument received multiple roles, disrupting the semantic interpretation of sentences. In control constructions, PRO functions as an unpronounced subject in the embedded non-finite clause, receiving a theta role from the embedded predicate to satisfy the Theta Criterion. For instance, in the sentence John tried [PRO to solve the puzzle], the control verb tried assigns an experiencer theta role to John, while PRO absorbs the agent theta role from solve, ensuring that both roles are uniquely assigned without overlap. This mechanism prevents a potential violation where the matrix subject John might otherwise lack a distinct role or where the embedded clause's subject position goes unthematized, maintaining structural integrity in obligatory control structures. The role of PRO in theta role assignment sharply contrasts with raising constructions, where the matrix verb does not theta-mark its surface subject, obviating the need for PRO. Consider John seems [to solve the puzzle], in which seems assigns no theta role to John, and John inherits the agent role directly from solve via raising to the matrix subject position to satisfy the Extended . Thus, control verbs like try necessitate PRO to independently fulfill the embedded theta requirements, whereas raising verbs like seem allow the shared argument to bear a single theta role across clauses, highlighting the Theta Criterion's diagnostic power in distinguishing these verb classes.

Binding Theory Constraints

Binding Theory, as formulated in the Government and Binding framework, consists of three principles that regulate the interpretation and distribution of nominal expressions in . Principle A requires that an anaphor be bound by an antecedent within its local binding domain, typically the smallest clause containing it. Principle B stipulates that a pronominal must be free from binding within its local binding domain, allowing reference to non-local antecedents. Principle C mandates that an R-expression, such as a proper name or , must be free from binding by any c-commanding antecedent in the sentence. In control constructions, PRO is analyzed as bearing both anaphoric and pronominal features ([+anaphoric, +pronominal]), subject to aspects of Principles A and B, which, combined with the PRO theorem, restricts it to ungoverned positions. In obligatory control constructions, it behaves like an anaphor requiring local binding by its controller, often the matrix subject or object. For instance, in the sentence John_i promised Mary [PRO_i to help her], PRO is bound by John, satisfying Principle A within the embedded clause's binding domain, and this co-indexation yields the intended interpretation where the subject of help is John. This treatment aligns PRO with other anaphors like reflexives in such structures as subject control verbs (try, promise). PRO's ungoverned status plays a crucial role in its binding behavior, as it lacks a governing category due to not being governed by any head, which exempts it from standard case assignment and allows binding without the restrictions that apply to governed positions. This ungoverned property, derived from the PRO Theorem, permits PRO to occupy subject positions in non-finite clauses where binding can occur across clause boundaries without violating locality conditions, as the binding domain for ungoverned PRO is the entire sentence or higher. In contrast, overt pronouns like him cannot substitute for PRO in these local binding contexts, as in the ungrammatical John_i promised Mary [him_i to help her], where him would be bound locally, violating Principle B's requirement for pronominals to be free in their binding domain. This distinction underscores PRO's unique status as a null category with hybrid binding properties that enforces strict co-reference in control structures, unlike pronouns which permit disjoint reference.

Nominal Agreement Issues

In syntactic theory, nominal agreement refers to the morphological matching of phi-features—such as , number, and —between a controller (typically the subject) and a target element, such as a predicate nominal, , or quantifier within the same . This process is crucial for ensuring grammatical coherence and is driven by feature valuation and checking mechanisms. In finite clauses, overt provide visible phi-features that trigger agreement on associated elements, as seen in English examples like "The dogs are happy," where "happy" invariantly reflects number agreement implicitly through the plural subject. PRO, as the null subject of non-finite clauses, introduces significant challenges to nominal agreement systems because it lacks phonological content and thus overt phi-features, relying instead on inheritance from an external controller via control relations. This null nature means PRO cannot directly manifest agreement morphology, leading to default forms or absent overt marking in many languages, particularly English infinitivals. For instance, in the construction "John wants [PRO to become a lawyer]," the indefinite article in "a lawyer" defaults to singular, aligning with John's number but without explicit feature checking on PRO itself. Similarly, in "John hopes [PRO to find a solution]," the predicate "a solution" appears in default form, as PRO's features are not sufficiently valued to trigger variation in non-finite environments; this highlights how such contexts suppress standard agreement triggers. These deficiencies have profound implications for feature-checking theories in both Government and Binding (GB) frameworks and the Minimalist Program. In GB theory, PRO's ungoverned status and lack of case prevent it from entering standard agreement relations with INFL, which in non-finite clauses is defective (lacking tense and agreement specifications), resulting in no phi-feature percolation to predicates. This explains the invariant or default agreement observed in English infinitivals, where PRO occupies the subject position but does not license morphological variation on targets like predicate adjectives or nominals. In Minimalism, agreement operates via the Agree operation, where a probe (e.g., a defective T head) searches for a goal with matching unvalued phi-features; however, PRO's null and pronominal-anaphoric hybrid nature renders its features indeterminate or unvalued until controlled, often leading to incomplete checking and default realizations in non-finite domains. Seminal analyses argue that PRO functions as a phi-feature variable, inheriting values post-syntactically from the controller, which resolves agreement puzzles but underscores the 's reliance on control for feature transmission. Cross-linguistically, these issues manifest variably; while English shows minimal overt effects due to limited nominal , languages like Icelandic reveal PRO's capacity to transmit case and number to predicates (e.g., quirky dative on adjectives agreeing with controlled PRO), yet the null status still poses challenges for feature visibility and lexical insertion. Overall, PRO's role in nominal agreement underscores the need for theories to accommodate defective categories in non-finite , influencing debates on whether control involves feature sharing or movement.

Theoretical Foundations

PRO Theorem

The PRO Theorem, as formulated by in his 1981 work Lectures on Government and Binding, posits that PRO must be ungoverned to satisfy the conflicting requirements of the Binding Theory. Specifically, PRO is characterized by the feature specification [+anaphoric, +pronominal], making it subject to both Principle A (which requires anaphors to be bound within their governing category) and Principle B (which requires pronominals to be free within their governing category). This dual nature creates an irreconcilable contradiction if PRO were to occur in a position with a governing category, as it could neither be properly bound nor free. The derivation of the theorem stems directly from the Binding Theory's principles. Anaphors, being [+anaphoric], demand a local antecedent within a defined binding domain to avoid violating Principle A, while pronominals, being [+pronominal], must lack such a local binder to comply with Principle B. For PRO, which combines these features, the only resolution is the absence of a governing category altogether, rendering it ungoverned. In the Government and Binding framework, a governing category is typically provided by finite (T), which assigns case and establishes binding domains; thus, PRO's ungoverned status inherently excludes it from such environments. This formulation plays a pivotal role in restricting PRO's distribution, particularly by prohibiting its appearance in finite clauses where and case assignment occur. Case-licensing positions are invariably governed, and PRO's feature matrix conflicts with the structural conditions for case assignment, ensuring its complementarity with overt subjects or other null categories like pro. An alternative perspective, such as the Null Case Hypothesis, suggests PRO receives a distinct null case rather than evading entirely, though this diverges from the classical PRO .

Null Case Hypothesis

The Null Case Hypothesis proposes that the null pronominal PRO bears a distinct null case feature, which is checked exclusively in ungoverned positions to account for its restricted syntactic distribution. Introduced by Chomsky and Lasnik (1993), this hypothesis updates earlier PRO theory by treating null case as a unique identifier for PRO, preventing it from appearing in case-marked environments where overt subjects or traces would otherwise occur. Under this view, PRO's occurrence is licensed only when no conflicting structural case (such as nominative or accusative) is available, thereby resolving tensions with binding and case assignment principles. The mechanism of null case assignment operates through tense-less infinitival Tense heads (T), which check null case on PRO as their subject, distinguishing it from NP-traces that remain caseless after movement. This assignment ensures PRO's viability in control and non-finite subject positions without requiring by a higher case assigner, as nonfinite T lacks the phi-features to value standard cases like nominative. In essence, null case functions as a default for ungoverned , allowing PRO to satisfy the Case Filter while adhering to the PRO Theorem's constraints on coindexation. Supporting evidence draws from quirky case languages, such as Icelandic, where infinitival predicates can assign non-structural (quirky) case to PRO, demonstrating that nonfinite clauses are capable of case transmission to null subjects—paralleling how English infinitivals assign null case as their equivalent default. This cross-linguistic pattern underscores the hypothesis's explanatory power, as PRO's case compatibility varies parametrically but remains tied to the infinitival head's properties. Further corroboration comes from contrasts with accusative infinitives in (ECM) constructions, where the embedded subject receives from the matrix verb, rendering PRO impossible and necessitating an overt DP or trace instead (Chomsky and Lasnik 1993). In the evolution toward the , the Null Case Hypothesis integrates with Agree-based case checking, whereby the nonfinite T establishes an Agree relation with PRO to value and check its null case feature, eliminating reliance on and Spec-head relations from earlier . This refinement, elaborated in subsequent work, aligns PRO's licensing with broader derivational economy principles, emphasizing feature valuation over configurational constraints (Martin 2001).

Case and Government Properties

In generative grammar, government is defined as a structural relation in which a head α governs a position β if α is a governor (typically a head of a lexical category, tense, or preposition), α c-commands β, and no maximal projection intervenes as a barrier between them. This relation is central to case assignment and binding in Government and Binding (GB) theory, as governed positions typically receive case from the governing head. The PRO theorem, proposed by Chomsky, stipulates that PRO must be ungoverned to resolve a arising from its feature specification as both pronominal and anaphoric. As a [+pronominal, +anaphoric] , PRO requires a binding domain where it can be simultaneously free (like a pronoun) and bound (like an anaphor), which is only possible outside the scope of government, where binding theory does not apply. Consequently, PRO appears exclusively in positions lacking a , such as the subject of non-finite clauses, avoiding the case assignment that would occur in governed positions. These properties render PRO non-case-marked in the standard sense and non-governed, conferring an adjunct-like behavior where it does not enter into typical argument-government relations with verbal heads. For instance, in infinitival constructions like "John promised Mary [PRO to leave]," PRO occupies the ungoverned subject position of the non-finite clause, evading case from the matrix or embedded tense. Similarly, in gerundive structures such as "Mary considered [PRO leaving early]," PRO in the subject of the gerund escapes government and case-marking, as the -ing affix does not project a governing tense head. Under the Null Case Hypothesis, PRO may receive a special null case valued by non-finite tense, distinguishing it from overt subjects while preserving its ungoverned status. This accounts for PRO's restricted distribution without conflicting with its core government-avoiding properties in GB frameworks.

Syntactic Distribution

PRO in Non-Finite Clauses

In generative syntax, PRO serves as the phonologically null subject of non-finite clauses, which are embedded structures lacking independent tense and agreement features, such as infinitival clauses marked by "to" or participial clauses marked by "-ing". These clauses typically appear as complements to matrix predicates, where PRO occupies the canonical subject position to satisfy the Extended without an overt nominal. For instance, in the sentence "Sue arranged [PRO to meet Bill]," PRO functions as the subject of the infinitival , interpreted as coreferential with the matrix subject "Sue." Similarly, in constructions like "John regrets [PRO leaving early]," PRO is the null subject of the participial , denoting the matrix subject without morphological realization. The distribution of PRO is restricted to these non-finite environments because finite clauses, which bear tense and agreement, impose case requirements that PRO cannot satisfy. In finite clauses, the subject position is governed by the finite Infl(ection) or T(ense) head, which assigns structural case (typically nominative) to overt DPs, rendering PRO ungrammatical; for example, "*Sue arranged [PRO meets Bill]" is ill-formed due to the inability of PRO to receive case in a governed position. Under , this restriction arises because PRO must remain ungoverned to avoid case assignment, a property that aligns with its role exclusively in non-finite contexts where government is absent or null. Within the , this is reformulated in terms of case checking: non-finite T assigns a null case to PRO, licensing it in the specifier of TP, while finite T assigns valued case, excluding PRO. Post-2000 developments in have integrated PRO's distribution with the vP-shell architecture, where non-finite clauses embed a little-vP projection to host the verb's argument structure, with PRO merging in the specifier of the higher non-finite TP to check null case and receive its theta-role. This layered structure—CP > TP > vP > VP—allows PRO to interface with the matrix clause's control relations while respecting phase-based locality constraints in embedded domains. In gerundial non-finites, the vP shell similarly supports PRO as the sole licit subject, prohibiting overt DPs unless possessivized, as in "*John regrets [he leaving early]" versus "John's leaving early was regrettable." These positions underscore PRO's function in enabling argument linking across clause boundaries without violating case or government principles.

Obligatory Control Structures

Obligatory control (OC) refers to a syntactic configuration in which the null subject PRO of a non-finite is obligatorily bound by a specific (the controller) in the immediately superordinate , ensuring and argument-dependent interpretation. This binding is rigid, distinguishing OC from other forms of control by requiring the controller to c-command PRO and to be a matrix , typically the subject or object of the control . Control verbs in OC structures are subcategorized into subject-control and object-control types based on which matrix argument serves as the controller. Subject-control verbs, such as try and promise, require the matrix subject to bind PRO, as in "John tried [PRO to leave]" where PRO refers to John, or "John promised Mary [PRO to leave]" where PRO again refers to John. Object-control verbs, such as persuade and tell, instead bind PRO to the matrix object, exemplified by "John persuaded Mary [PRO to leave]" where PRO refers to Mary. These verbs typically select non-finite complements where PRO occupies the subject position. A hallmark of OC is the exhaustive interpretation of PRO, meaning PRO must be interpreted as referring solely to the controller and no other entity, excluding inclusive or indefinite readings. For instance, in "John and Mary tried [PRO to win]," PRO refers exhaustively to the pair "John and Mary" as a collective controller, but cannot include additional participants beyond the specified antecedent. This exhaustiveness arises from the binding relation, which enforces strict referential identity between PRO and its controller. OC structures are diagnosed through several syntactic tests that reveal the bound nature of PRO. Backward pronominalization, for example, allows a pronoun in the matrix clause to corefer with PRO in the embedded clause, as in "His mother tried [PRO to help him]," where "his" and "him" can both refer to the same individual, a possibility unavailable in non-bound contexts. Sluicing, an ellipsis process that deletes everything but a wh-phrase, further confirms OC by permitting resolution of the elided material to the controller, such as in "John persuaded Mary [PRO to leave], but who did Bill persuade [PRO to]?" where the sluiced wh-phrase targets the object controller. These diagnostics highlight the locality and argument-specific binding inherent to OC.

Non-Obligatory Control Structures

Non-obligatory control (NOC) structures involve instances where the null subject PRO of a non-finite is not strictly bound to a specific matrix , allowing for flexible or pragmatic interpretation of its reference. Unlike obligatory control (OC), which requires exhaustive identity between the controller and PRO, NOC permits long-distance binding or no antecedent at all, often in complements of verbs like realize or think. In such constructions, PRO can refer to a topic or an implicit , exhibiting pronominal-like behavior subject to Principle B of the Binding Theory, which prohibits local binding by an antecedent in the same . A diagnostic feature of NOC is its allowance for strict identity under VP-ellipsis, where PRO can retain coreference with a non-local antecedent, unlike in OC where only sloppy (bound) identity is possible. For example, in a structure like "John realized it was hard [PRO to succeed], and Bill did too," the elided clause can be interpreted as Bill realized it was hard for John to succeed (strict reading), reflecting PRO's pronominal properties in NOC. Long-distance control exemplifies this flexibility, as in "John said that [PRO to leave would be wise]," where PRO may refer to John or a broader entity, depending on context, rather than being rigidly controlled by the matrix subject. Verbs inducing NOC, such as communication verbs without explicit goals (e.g., say or tell in certain uses), further demonstrate this by allowing PRO to corefer with an implicit goal or the sentence topic, while restricting PRO to referents. Logophoric uses of PRO in NOC arise when PRO is bound to the perspective holder or "logophoric center" of the reported event, often in embedded clauses under attitude or speech verbs. This binding reflects the viewpoint of the individual whose thoughts or speech are represented, as seen in constructions where PRO corefers with the source of the embedded proposition rather than the matrix subject. In English, such logophoric PRO appears in NOC infinitivals like "John realizes [PRO to be honest is important to him]," where PRO aligns with John's perspective. Partial control phenomena with aspectual verbs like start or begin represent a subtype of obligatory control (OC) where PRO's reference includes but is not exhausted by the controller, permitting collective interpretations with singular controllers. For instance, "John started [PRO to dance]" can allow PRO to denote John and others, reflecting a subset relation rather than full exhaustive identity, as analyzed in syntactic frameworks distinguishing partial from exhaustive control. This partial control in aspectual contexts highlights semantic plurality within OC structures.

PRO and Movement Phenomena

In raising constructions, the trace left by A-movement of the subject typically exhibits reconstruction effects for binding and scope, allowing interpretations as if the moved element remains in its base position. For instance, Condition C of the binding theory applies to traces in raising, rendering sentences like "*A picture of John₁ is believed t by him₁ to be on sale" ungrammatical due to the reconstructed binding of the pronoun to the R-expression in the embedded clause. In contrast, PRO in control structures lacks such reconstruction effects, permitting sentences like "John₁ tried PRO to buy a picture of him₁," where no illicit binding occurs because PRO does not reconstruct like a trace. This distinction highlights PRO's pronominal nature rather than its status as a movement trace, as traces in raising also permit scope reconstruction for quantifiers, such as wide-scope readings from the base position, which PRO does not license in analogous control environments. Proposals integrating PRO with movement phenomena, such as Hornstein's (2001) theory, treat control as involving A-movement, where the controller originates in the embedded and moves to position, eliminating the need for a distinct PRO under Minimalist assumptions. In cases of adjunct control, this requires sideward movement from the embedded adjunct to the , with the lower copy functioning as an intermediate trace akin to PRO, as in "John₁ watched Mary sideward-move from [CP leaving the room]." This approach unifies control with raising by deriving the controller-PRO via movement chains, avoiding government-based licensing for PRO. Empirical tests for these movement analyses often invoke scope and binding reconstruction. Scope tests reveal that controllers in obligatory control cannot reconstruct to take embedded scope, unlike raised elements; for example, "Every farmer₁ wants PRO to win the prize" lacks a reading where "every farmer" scopes below the embedded verb, contrasting with raising analogs like "Every farmer seems t to win the prize." Binding reconstruction similarly fails for PRO, as reciprocals bound by the controller cannot interpret in the embedded position ("*The boys₁ persuaded the teacher PRO to give an A to each other"), whereas traces in raising permit such binding ("The boys₁ seem t to like each other"). These asymmetries provide evidence against uniform movement treatments, as movement chains predict consistent reconstruction across control and raising. Despite these proposals, limitations arise because not all control structures fit a movement analysis; for instance, backward control with promise-type verbs, where the matrix object controls the embedded subject (e.g., "Mary₁ promised John PRO to leave"), cannot derive from upward A-movement without violating locality or θ-role assignment. Such cases, along with partial control interpretations, indicate that movement cannot uniformly account for the full range of control phenomena, preserving a role for PRO in non-movement-based analyses.

Cross-Linguistic Variations

Caseless PRO in English

In English, PRO functions as the null subject of non-finite clauses, particularly control infinitives, and is analyzed as bearing no structural case, in accordance with the PRO Theorem's requirement that PRO occupy ungoverned positions to prevent case assignment. This caseless status explains why PRO cannot be realized overtly in English, as non-finite tense (T) does not assign structural case to its subject specifier, leading to obligatory nullness. Evidence for PRO's caseless nature in English derives from the systematic lack of morphological case marking on infinitival subjects, which default to null realization rather than overt forms capable of bearing case. For instance, in obligatory control structures like "John_i tried [PRO_i to win]," the embedded subject position cannot host an overt DP with case requirements, reinforcing that PRO fills this role without case valuation. A diagnostic test for this caselessness involves attempting to substitute PRO with case-sensitive overt elements, such as the expletive pronoun "it," which uniformly yields ungrammaticality. Consider the contrast between the grammatical "It seems [PRO to be raining]" and the ill-formed "*It seems [ to be raining]," where the embedded "it" fails due to the absence of case assignment in the infinitival subject position. Similarly, referential pronouns like "he" cannot occupy PRO positions without case support, as in "*Mary wants [he to be honest]" versus the acceptable "Mary wants [PRO to be honest]." This caseless PRO in English contrasts with the null pronoun pro in null-subject languages, where pro can appear in finite clause subjects and is licensed by rich verbal agreement, implicitly satisfying nominative case through feature identification.

Case-Marked PRO in Icelandic

In Icelandic, unlike in languages such as English where PRO is typically caseless, PRO in non-finite clauses can bear morphological case inherited from its controller, most commonly dative or nominative. This case-marking is evident in infinitival complements where PRO agrees in case with the matrix argument, as in the dative example Mér líkar [PRO_dat að vinna] ('To me likes [PRO_dat to work]'), where the dative experiencer mér controls a dative-marked PRO in the embedded clause. This phenomenon challenges traditional views of PRO as ungoverned and underscores Icelandic's rich case system, particularly with quirky (non-nominative) subjects that transmit inherent cases like dative to PRO. Nominative case on PRO also occurs, often in structures involving hope or expectation predicates, as in Strákarnir vonuðust til [að PRO_nom komast allir í veisluna] ('The boys hoped [PRO_nom to all get to the party]'), where PRO inherits nominative from the matrix nominative subject and triggers nominative agreement on participles or adjectives within the infinitival clause, such as floating quantifiers like allir ('all'). Dative transmission is more frequent with experiencer constructions, exemplified by Hana langar ekki til [að PRO_dat leiðast] ('She does not want [PRO_dat to be bored]'), where the quirky dative subject hana licenses dative on PRO, preventing nominative default and enabling case-dependent agreement inside the embedded clause. These patterns demonstrate that case on PRO is not merely morphological but syntactically active, influencing licensing and agreement. Halldór Ármann Sigurðsson's seminal analysis argues that Icelandic PRO can be both governed and case-marked, yet crucially not properly head-governed, distinguishing it from lexical arguments that require full government for . He proposes PRO functions as a "case conductor," heading morphological case chains (e.g., via floating quantifiers) and transmitting case features to embedded elements without itself being lexicalized, as seen in ECM-like structures where matrix verbs transmit accusative to infinitival objects but spare PRO. Quirky subjects further support this, retaining inherent cases (dative, genitive) that percolate to PRO without (ECM) movement. Building on this, Sigurðsson's work refines the account, treating PRO as a referential and phi-feature variable (θ REF α/phi β) assigned case and phi-features post-syntactically in the morphological component, rather than derivationally. Case transmission arises from controller overwriting of PRO's default nominative morphology, limited to non-quirky contexts and variable across speakers (e.g., 80% acceptance of nominative PRO in perception verb complements like Við sögðum Ólafi [að PRO_nom vera rólegur]). PRO's silence stems from its anaphoric nature in infinitives lacking speech-event features (Speaker, Hearer), not from case avoidance. In 2010s minimalist updates, Sigurðsson integrates these ideas into Agree-based models, where phi-feature sharing between the controller and PRO's T head enables case and agreement transmission without movement. For instance, in control structures, matrix v* licenses embedded T via Agree, allowing PRO to inherit phi-features and reflect morphological case (e.g., dative in Bræðurinnir vonuðust til [CP að PRO_dat vera báðum hjálpað]), while C blocks direct v*-to-TPRO transmission. Recent developments in Agree frameworks continue to emphasize bidirectional feature valuation for such case conductivity in Icelandic, aligning PRO licensing with cyclic A-relations in the clause.

Dative-Controlled PRO in Romance Languages

In Romance languages, dative experiencers frequently control the null subject PRO in non-finite adjunct clauses, exhibiting non-obligatory control (NOC) where the controller is not a structural argument of the matrix verb. This pattern is evident in Spanish, where the dative clitic serves as the antecedent for PRO in infinitival adjuncts, as in the example Me alegra [PRO_i ayudar a los niños] ('It makes me glad to help the children'), in which the experiencer "me" binds PRO across the clause boundary. Such constructions highlight the experiencer's subject-like properties despite its non-nominative case and oblique position, allowing it to license null subjects in embedded domains without obligatory locality constraints typical of argument control. This type of control is non-argumental, with dative experiencers functioning as logophors that anchor the interpretation of PRO through or de se readings in attitude-like contexts. In Carmen Dobrovie-Sorin's analyses from the , PRO in Romance is bound non-locally by the dative experiencer, often via logophoric operators that permit long-distance dependencies beyond standard A-binding, as seen in Romanian impersonal se constructions and parallel Spanish psych-predicates. This logophoric binding distinguishes dative-controlled PRO from subject control, enabling the experiencer to impose its viewpoint on the infinitival event without structural government. Cross-Romance variations reveal differences in the scope of control, with Spanish and Romanian typically showing full exhaustive control by the dative, while French and Italian permit partial control readings where PRO can distribute over a plural experiencer (e.g., French Ça nous plaît [PRO_i/j danser] allowing each of "nous" to dance separately). In French, this partiality arises from logophoric anchoring in attitude complements, contrasting with the more rigid exhaustive binding in Spanish adjuncts. Italian exhibits similar flexibility, particularly with psych-verbs like piacere, where dative control into infinitives allows split interpretations under NOC conditions.

PRO in Other Language Families

In such as Japanese and Chinese, control structures often deviate from the canonical Indo-European pattern involving an ungoverned PRO in non-finite clauses, instead relying on topic-prominent syntax, implicit arguments, or pro. In Japanese, experimental evidence from self-paced reading studies supports the psychological reality of PRO in control constructions, where longer reading times at embedded verbs indicate processing costs associated with null subjects distinct from those in raising structures. However, Japanese topic-control frequently employs pro or contextually recoverable implicit arguments rather than obligatory PRO, allowing flexible reference resolution without strict syntactic licensing requirements typical of PRO. Similarly, in , control can occur in finite clauses with overt subjects that are not analyzed as lexicalized PRO, but as bound arguments controlled by matrix elements, contrasting with English's reliance on non-finite PRO for exhaustive control. Partial control in Chinese further involves associative morphology on the controller, enabling non-exhaustive interpretations without invoking PRO. In , PRO appears in analyses of obligatory control (OC) within applicative constructions, where object controllers license null subjects in embedded clauses. For instance, in symmetric Bantu languages like Runyambo, both direct and applied objects can trigger OC, controlling PRO in infinitival complements as a diagnostic of objecthood, as seen in constructions where the applied beneficiary or recipient binds the embedded null subject. This object control in applicatives expands valency, allowing PRO to be licensed by derived arguments, such as in double object applicatives where the applied object controls the null subject depending on the language's typology. In asymmetric languages like SiSwati, only the applied object (e.g., recipient) controls PRO in certain tenses, highlighting parametric variation in how applicative morphology interacts with control licensing. Recent studies on Austronesian languages (2020–2025) emphasize control mechanisms integrated into voice systems, rendering PRO unnecessary through morphological alternations that promote arguments to pivot status. In Tagalog and related languages like Mandar, control and raising are handled via agent voice (AV) or patient voice (PV) morphology, where the pivot undergoes A-movement to spec-TP for case-licensing and extraction, bypassing empty categories like PRO. For example, in raising contexts with definite internal arguments, object shift to spec-vP followed by pivot raising resolves dependencies without PRO, as voice markers encode argument prominence and satisfy EPP features. This high absolutive syntax in Austronesian voice systems, as analyzed in 2022 work, links to agent-focus constructions that license arguments directly, differing from Indo-European PRO-dependent control. Parametric variation in pro-drop languages often renders PRO optional or absent in control structures, as rich agreement or pragmatic licensing allows pro in finite clauses to extend to non-finite contexts. In consistent pro-drop languages, null subjects in embedded clauses may be licensed as pro rather than PRO, reducing the need for a distinct ungoverned category due to the pro-drop parameter's effects on feature identification. This contrasts briefly with non-pro-drop languages like English, where PRO is obligatory in ungoverned positions, but aligns with East Asian and Austronesian patterns where implicit arguments or voice morphology handle control without specialized null elements.

Alternative Approaches

Movement-Based Theories of Control

Movement-based theories of control, particularly those advanced within the , posit that obligatory control phenomena can be derived solely through syntactic movement operations, thereby eliminating the need for a distinct null category PRO. In this framework, the embedded subject in control structures undergoes NP-movement to a theta-position in the matrix clause, where it receives its external theta-role. This approach treats control as analogous to raising constructions, but extends movement to positions that assign theta-roles, a possibility enabled by the elimination of D-structure in . A core proposal in this theory, as articulated by Hornstein, holds that the controller NP moves from the subject position of the embedded non-finite to the matrix argument position, leaving a trace in situ. For instance, in the sentence John tries to win, the derivation involves the NP John originating in the embedded and moving to the matrix subject position, yielding John tries [t to win], where t is the trace of movement rather than PRO. This movement is subject to specific assumptions: theta-roles are assignable post-syntactically via movement, reducing the need for strict c-command restrictions typically associated with theta-assignment at D-structure; additionally, since PRO is conceptualized as caseless, there is no inherent resistance to case features during movement into theta-positions. These assumptions allow for a unified treatment of control and raising under movement, without invoking special control modules or agreement processes. Empirical support for this movement analysis draws from parallels between control structures and other movement phenomena, such as reduced relatives. For example, constructions like the man leaving the room exhibit properties akin to control derivations, where the subject of the moves to a position external to the participial phrase, mirroring the trace-left-behind in control without requiring a null pronoun. Scope facts further bolster the theory: in sentences like John wants to find a solution, the controller John can take scope over quantifiers in ways predictable under movement, such as reconstructing for variable binding, which aligns with A-movement behaviors observed in raising but not in PRO-based accounts that treat PRO as an anaphor with fixed binding domains. These patterns suggest that control reduces to standard NP-movement, simplifying the grammar by deriving interpretive effects from general principles rather than construction-specific rules.

PRO as a Null Pronoun in Minimalism

In the , the traditional and Binding treatment of PRO as an ungoverned is revised, reconceptualizing it as a null pronominal element similar to pro but distinguished by its assignment of null case in non-finite contexts. This shift, initiated by Chomsky (1995), posits that non-finite tense (T) assigns null case to PRO via a Spec-head relation, licensing its occurrence as the subject of infinitival clauses while preventing it from co-occurring with structural cases like nominative or accusative. The null case hypothesis simplifies the licensing of empty categories, ensuring PRO's visibility at the interfaces without requiring ad hoc ungoverned domains, and it aligns with broader minimalist principles of economy and feature checking. A key aspect of this analysis is PRO's deficient phi-feature specification; unlike overt pronouns or DPs, PRO lacks valued phi-features (, number, ), rendering it unable to independently trigger agreement on the verb or participate in phi-driven operations. Instead, its interpretation relies on Agree relations between the controller (a c-commanding DP) and PRO, where the controller values PRO's unvalued features at a distance, establishing without movement or binding. This mechanism accounts for obligatory control effects, as the Agree operation enforces locality and feature valuation, deriving PRO's anaphoric properties from minimalist feature dynamics rather than dedicated control modules. Further developments within phase theory position PRO at the edge of phases, facilitating its interaction with higher projections while respecting the Phase Impenetrability Condition.

Logophoric and Partial Control Analyses

In logophoric analyses of control, the null subject PRO is bound to the perspective holder of an attitude predicate, enabling non-obligatory control interpretations in embedded infinitival clauses. For example, in the construction "John thinks [PRO to err is human]", PRO refers to John as the individual whose viewpoint frames the embedded proposition, reflecting a de se attitude where the error is self-attributed. This binding relies on a logophoric operator positioned in the CP layer of the embedded clause, which links PRO—treated as a minimal, featureless pronoun—to the matrix subject without requiring local c-command or exhaustive reference. Partial control complements this framework by permitting scenarios where the controller's reference partially overlaps with PRO's, often under aspectual verbs that denote or of events. Consider "They started [PRO to wash themselves]", where "they" controls PRO, but the understood subject of washing encompasses a superset including "they" and others, yielding a distributive reading. Unlike exhaustive control, partial control avoids strict singularity matching, allowing plural or collective extensions of the controller. Landau's framework, developed in his 2000 and refined in 2015, unifies these phenomena through a two-tiered structure for control complements. The lower tier involves predicative control via phi-feature valuation between the controller and PRO, while the upper tier introduces logophoric anchoring for attitude contexts, where an operator values PRO's reference to the perspective holder. For partiality, the infinitival C head bears an interpretable [+partial] feature that probes and values PRO's phi-features, licensing inclusive plurality without full exhaustion; this feature is absent in exhaustive cases, ensuring tighter binding. These mechanisms distinguish attitude-driven logophoricity from aspectual partiality, predicting distinct distributional restrictions—e.g., partial control rejects singular controllers like "John started to wash himself" in favor of plurals. Criticisms of logophoric and partial control analyses center on overgeneration, particularly in long-distance embeddings where perspective-based binding predicts illicit control relations. For instance, deeply nested attitude may license spurious PRO interpretations unbound by locality, as the flexible logophoric operator fails to enforce structural constraints observed in empirical data, leading to unattested de se readings across multiple boundaries. Similarly, the partiality feature's valuation risks overpermissive plurality in non-aspectual contexts, generating split-reference effects where none occur. These issues highlight the need for additional filters on operator scope and feature transmission.

Notation and Conventions

Morpheme Gloss Abbreviations

In linguistic analyses of PRO, interlinear morpheme glosses adhere to the Leipzig Glossing Rules, which standardize abbreviations for grammatical categories to facilitate cross-linguistic comparison and clarity in examples. These rules emphasize word-by-word alignment, hyphenation for boundaries, and the use of uppercase abbreviations for categories like case and mood, with non-overt elements such as PRO marked explicitly (e.g., via ∅ or brackets for null subjects). Common abbreviations in PRO-related examples include those for case, number, gender, and verbal mood, as outlined in the Leipzig conventions. The following table summarizes key standard glosses relevant to control constructions:
AbbreviationMeaning
NOMNominative
ACCAccusative
DATDative
GENGenitive
INF
SGSingular
PL
M
F
N
PRO-specific glossing often denotes the null subject as PRO or ∅, with case features added in languages like Icelandic where infinitivals are case-marked (e.g., PRO.NOM or PRO.DAT); in caseless contexts such as English, it may be glossed as NULL to indicate absence of overt case morphology. Control markers, if used, are sometimes abbreviated as CTRL in specialized analyses, though this is not part of the core lexicon. Representative examples illustrate these conventions. In English, a basic subject control construction appears as:
John wants PRO to leave.
John.NOM want.3SG PRO NULL INF to leave.INF
Here, PRO is the caseless null subject controlled by John.
In Icelandic, where PRO inherits case from the matrix clause, consider:
Ólafi finnst gott [að PRO vera ríkur].
Olaf.DAT.M.SG find.3SG good.NOM.SG INF to PRO.NOM be.INF rich.NOM.M.SG
"Olaf finds it nice to be rich." PRO bears nominative case here, distinct from the dative controller. Such glossing highlights morphological distinctions absent in English, aiding analysis of PRO's syntactic behavior.

Syntactic Term Glossary

In generative syntax, the Complementizer Phrase (CP) is a functional projection that heads embedded clauses, with the complementizer (C) as its head, embedding the Inflection Phrase (IP) as its complement; it is crucial for phenomena like and clause embedding in control structures involving PRO. In tree representations of control sentences, such as "John wants [CP PRO to leave]", the CP dominates the embedded IP, marking the boundary for PRO's ungoverned subject position. The Inflection Phrase (IP), also known as InflP, is a functional category that encodes tense, agreement, and mood features, with the subject in its specifier position and the (VP) as its complement; it serves as the core clausal projection in earlier . In syntactic trees for PRO control, the IP hosts PRO as its subject in non-finite clauses, as in "[IP PRO to eat the apple]", where PRO receives no case from the finite Infl head. In the , the little v Phrase (vP) introduces the external argument in its specifier and causativizes or voices the lexical VP in its complement, distinguishing unaccusative from transitive structures relevant to control interpretations. Tree diagrams often depict vP above VP in control contexts, such as "[vP John v [VP try [IP PRO to win]]]", where v assigns the agent theta-role to the controller. Obligatory Control (OC) refers to the syntactic dependency where PRO in a non-finite complement must be bound by a c-commanding antecedent in the matrix clause, exhibiting locality and exhaustive reference properties. In tree structures, OC is represented with co-indexation, e.g., "Mary_i promised [IP PRO_i to help John]," where the matrix subject controls PRO under the embedded IP. Non-Obligatory Control (NOC) involves PRO in embedded or adjunct clauses that allows long-distance or arbitrary reference, lacking strict locality and often permitting non-exhaustive controllers, contrasting with OC. Syntactic trees for NOC might show PRO without local binding, as in "[IP John said [CP that [IP PRO to leave] was wise]]", where PRO can refer generically or to a distant entity. Exceptional Case Marking (ECM) is a construction where the matrix verb assigns to the subject of an embedded non-finite clause, treating it as the matrix object, as in "I believe [him to be honest]". In tree analyses, ECM embeds the IP directly under the matrix VP without a CP layer, allowing case transmission to the embedded subject, e.g., "[VP believe [IP him to leave]]". In Minimalist syntax, a Phase is a propositional domain (typically CP or vP) that delimits spell-out and cyclicity, ensuring locality in operations like Agree and movement relevant to PRO licensing. Trees mark phases with boundaries, such as the vP phase in "[vP controller v [VP control [CP [IP PRO ...]]]", where internal material is inaccessible post-spell-out. The Agree relation is a core operation in where a (with uninterpretable features) searches its domain to value and check features with a matching goal, underlying agreement and case assignment in control derivations. In tree contexts, Agree applies downward from T (in IP) to PRO or the controller, as in valuing phi-features between the matrix subject and embedded PRO in OC structures. These syntactic terms intersect with morpheme glosses in interlinear examples, such as glossing non-finite Infl as "INF" in PRO clauses.

Tree Diagram Standards

In syntactic representations of control constructions, PRO is standardly depicted within an X-bar theoretic framework, where it occupies the specifier position of the inflectional phrase (IP) in non-finite clauses or, in more recent analyses, the specifier of the phrase (vP). This placement reflects PRO's as the null subject that receives a thematic but lacks case valuation, adhering to principles of phrase structure that require every phrase to project a head, intermediate X' level, and specifier. Labeling conventions emphasize relational aspects: coindexation between the controller (e.g., a matrix subject) and PRO is marked with identical subscript indices (e.g., NP_i and PRO_i), often linked by curved arrows to visually indicate binding or control dependencies. Dashed lines denote traces (t_i) resulting from movement operations that interact with PRO positions in derived structures, distinguishing them from solid lines for base-generated elements. These notations facilitate clarity in illustrating locality constraints and interpretive relations without altering the core tree architecture. For generating these diagrams, LaTeX-based tools like TikZ, augmented by the package, are widely adopted in linguistic publications due to their precision in handling hierarchical branching, node alignment, and annotations; Forest's bracketed syntax allows compact encoding of complex trees, such as those with embedded specifiers. Alternatively, online generators like phpSyntaxTree provide accessible, no-installation options for initial sketches, exporting to SVG or PDF for refinement. A simple control tree, as in the English sentence "John wants to leave," features a matrix IP with "John" in Spec-IP controlling a subordinate IP where PRO occupies Spec-IP, branching to V' ("to leave"); coindexation is shown as John_i → PRO_i, with no case marking on PRO. In contrast, a complex Icelandic case-marked PRO tree, such as in subject control like "Ég lofaði Jóni [PRO að koma]" ("I promised Jon to come"), positions PRO in Spec-IP of the embedded clause but annotates it with nominative case (PRO.NOM), as assigned by the embedded Infl; arrows link the nominative NP_i to PRO_i.NOM, highlighting control by the matrix subject without movement traces unless derived. These examples underscore standardized branching to Spec-IP/vP while adapting labels for language-specific features like case.

References

Add your contribution
Related Hubs
User Avatar
No comments yet.