Cinque (2020): The Syntax of Relative Clauses #
Cinque derives every type of relative clause from one double-headed structure: the clause is merged
in a specifier of the nominal extended projection, the part of that projection below it is the
external Head, and the clause contains an internal Head. Movement, deletion under identity and
replacement by a proform do the rest (Introduction, §1.5). In a raising derivation the internal Head
raises to Spec,CP and deletes the external one, so the overt Head reconstructs into the clause; in a
matching derivation the external Head is overt and the internal one is deleted or replaced. Which
options a relative clause has depends on its type, through the height at which the type is merged,
and on whether the two Heads match (Introduction): a type merged higher has a bigger external Head
(externalHead_mono), and a Head is deleted only under identity with the other, so an internal Head
bigger than the external one is neither a gap nor raised (RC.WellFormed.not_reconstructs_of_lt).
RCType.externalHead reads the external Head off the order of external Merge (205): the
indefinite dP for restrictives, merged between the demonstrative and the cardinal numeral, a
full DP for non-restrictives, merged above the demonstrative. A restrictive with a relative
pronoun, a DP, is therefore derived by matching and does not reconstruct
(RC.WellFormed.not_reconstructs_of_relativePronoun), and maximalizing relatives, which force
raising, take no relative pronoun (RC.WellFormed.strategy_ne_relativePronoun_of_maximalizing).
The derivations of Universal 20 in Cinque2005 linearize (205), before the noun without
movement and after it in the mirror order when the noun's phrase raises past each modifier,
which gives the orders of the rigid head-final and head-initial languages of §3.5
(unmarkedOrders_restrictive, unmarkedOrders_participial).
Implementation notes #
- A DP with or without its case layer is one size of Head, as in Chapter 4; a DP inside an adposition's or a possessor's phrase is bigger.
- (205) is taken without the universal quantifier; the non-integrated non-restrictives above it belong to discourse grammar (§3.1) and are left out.
- Verb-coding is not a strategy for the internal Head: §4.6 analyses it as marking on the verb alongside deletion or pronoun retention, under the same size condition.
TODO #
- Chapter 2 derives each syntactic type (internally headed, double-headed, headless, correlative) from which Heads are pronounced and where they move; only the two derivations of externally headed relatives are modelled.
- The ordering contrasts between stacked relatives that motivate (205), (176)–(177) and (183)–(191), are not rows, and §2.2.3's account of the absence of relative pronouns in prenominal relatives, by R-binding under the linear correspondence axiom, needs a linearization the substrate lacks.
References #
The order of external Merge (§3.5) #
The types of relative clause, by the position of their external Merge.
- participialIndividual : RCType
Participial, of an individual-level property (§3.5.7).
- participialStage : RCType
Participial, of a stage-level property.
- infinitival : RCType
- maximalizing : RCType
Amount and other maximalizing relatives, whose Head is interpreted inside the clause (§1.2).
- restrictive : RCType
Finite restrictive, with Italian che or cui.
- restrictiveMarked : RCType
Finite restrictive with Italian il quale, merged above the unmarked one (§3.5.4).
- kindDefining : RCType
- nonRestrictive : RCType
Integrated non-restrictive (§3.1).
Instances For
Equations
- Cinque2020.instDecidableEqRCType x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Cinque2020.instReprRCType = { reprPrec := Cinque2020.instReprRCType.repr }
Equations
- Cinque2020.instFintypeRCType = { elems := { val := ↑Cinque2020.RCType.enumList, nodup := Cinque2020.RCType.enumList_nodup }, complete := Cinque2020.instFintypeRCType._proof_1 }
Equations
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.N Cinque2020.Slot.N = isTrue ⋯
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.N Cinque2020.Slot.A = isFalse Cinque2020.instDecidableEqSlot.decEq._proof_3
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.N Cinque2020.Slot.Num = isFalse Cinque2020.instDecidableEqSlot.decEq._proof_4
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.N Cinque2020.Slot.Dem = isFalse Cinque2020.instDecidableEqSlot.decEq._proof_5
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.N (Cinque2020.Slot.rc t) = isFalse ⋯
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.A Cinque2020.Slot.N = isFalse Cinque2020.instDecidableEqSlot.decEq._proof_7
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.A Cinque2020.Slot.A = isTrue ⋯
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.A Cinque2020.Slot.Num = isFalse Cinque2020.instDecidableEqSlot.decEq._proof_8
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.A Cinque2020.Slot.Dem = isFalse Cinque2020.instDecidableEqSlot.decEq._proof_9
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.A (Cinque2020.Slot.rc t) = isFalse ⋯
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.Num Cinque2020.Slot.N = isFalse Cinque2020.instDecidableEqSlot.decEq._proof_11
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.Num Cinque2020.Slot.A = isFalse Cinque2020.instDecidableEqSlot.decEq._proof_12
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.Num Cinque2020.Slot.Num = isTrue ⋯
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.Num Cinque2020.Slot.Dem = isFalse Cinque2020.instDecidableEqSlot.decEq._proof_13
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.Num (Cinque2020.Slot.rc t) = isFalse ⋯
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.Dem Cinque2020.Slot.N = isFalse Cinque2020.instDecidableEqSlot.decEq._proof_15
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.Dem Cinque2020.Slot.A = isFalse Cinque2020.instDecidableEqSlot.decEq._proof_16
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.Dem Cinque2020.Slot.Num = isFalse Cinque2020.instDecidableEqSlot.decEq._proof_17
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.Dem Cinque2020.Slot.Dem = isTrue ⋯
- Cinque2020.instDecidableEqSlot.decEq Cinque2020.Slot.Dem (Cinque2020.Slot.rc t) = isFalse ⋯
- Cinque2020.instDecidableEqSlot.decEq (Cinque2020.Slot.rc t) Cinque2020.Slot.N = isFalse ⋯
- Cinque2020.instDecidableEqSlot.decEq (Cinque2020.Slot.rc t) Cinque2020.Slot.A = isFalse ⋯
- Cinque2020.instDecidableEqSlot.decEq (Cinque2020.Slot.rc t) Cinque2020.Slot.Num = isFalse ⋯
- Cinque2020.instDecidableEqSlot.decEq (Cinque2020.Slot.rc t) Cinque2020.Slot.Dem = isFalse ⋯
- Cinque2020.instDecidableEqSlot.decEq (Cinque2020.Slot.rc a) (Cinque2020.Slot.rc b) = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯
Instances For
Equations
- Cinque2020.instReprSlot = { reprPrec := Cinque2020.instReprSlot.repr }
Equations
- One or more equations did not get rendered due to their size.
- Cinque2020.instReprSlot.repr Cinque2020.Slot.N prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Cinque2020.Slot.N")).group prec✝
- Cinque2020.instReprSlot.repr Cinque2020.Slot.A prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Cinque2020.Slot.A")).group prec✝
- Cinque2020.instReprSlot.repr Cinque2020.Slot.Num prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Cinque2020.Slot.Num")).group prec✝
- Cinque2020.instReprSlot.repr Cinque2020.Slot.Dem prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Cinque2020.Slot.Dem")).group prec✝
Instances For
The order of external Merge (205), bottom up from the noun, without the universal quantifier.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The height of a type's external Merge.
Equations
- t.height = List.idxOf (Cinque2020.Slot.rc t) Cinque2020.hierarchy
Instances For
A type is below another when it is merged lower.
Equations
Linearization (§1.4, §3.5) #
The lexical item at a slot in the derivations of Cinque2005, a relative clause being a
C.
Equations
Instances For
The surface orders of the unmarked derivations of Cinque2005, without movement or raising
the noun's phrase past each modifier with whose-picture pied-piping, from the noun and the slots
s merged in the order of (205).
Equations
- One or more equations did not get rendered due to their size.
Instances For
A finite restrictive, merged between the demonstrative and the cardinal numeral, surfaces as Dem RC Num A N in rigid head-final languages (181) and N A Num RC Dem in rigid head-initial ones (182).
A relative merged where participials are, between the cardinal numeral and the adjectives, surfaces as Dem Num RC A N, in Karata and Mandarin (200a–b) and the participials of German, English and Bulgarian (192)–(197), and as N A RC Num Dem in T'in (200c).
Restrictives are merged below the demonstrative and non-restrictives above it, as the orders of (171)–(175) show, Dem RC N and N RC Dem for restrictives and RC Dem N and N Dem RC for non-restrictives.
The two Heads and the two derivations (§1.5) #
Equations
- Cinque2020.instDecidableEqSize x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Cinque2020.instReprSize.repr Cinque2020.Size.NP prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Cinque2020.Size.NP")).group prec✝
- Cinque2020.instReprSize.repr Cinque2020.Size.dP prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Cinque2020.Size.dP")).group prec✝
- Cinque2020.instReprSize.repr Cinque2020.Size.DP prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Cinque2020.Size.DP")).group prec✝
- Cinque2020.instReprSize.repr Cinque2020.Size.embedded prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Cinque2020.Size.embedded")).group prec✝
Instances For
Equations
- Cinque2020.instReprSize = { reprPrec := Cinque2020.instReprSize.repr }
Equations
- Cinque2020.instFintypeSize = { elems := { val := ↑Cinque2020.Size.enumList, nodup := Cinque2020.Size.enumList_nodup }, complete := Cinque2020.instFintypeSize._proof_1 }
Sizes are ordered by containment.
Equations
The external Head is the part of the nominal extended projection below the relative clause
(§1.4). It is a DP if it contains the demonstrative and the indefinite dP if it contains the
cardinal numeral.
Equations
- One or more equations did not get rendered due to their size.
Instances For
A type merged higher has a bigger external Head. A non-restrictive's contains the strong determiners, a restrictive's only the weak ones and a participial's neither (Introduction, fn. 3).
The two derivations, which differ in which Head is overt.
- raising : Derivation
The internal Head raises to Spec,CP, is overt and deletes the external Head.
- matching : Derivation
The external Head is overt; the internal Head is deleted or replaced by a proform.
Instances For
Equations
- Cinque2020.instDecidableEqDerivation x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Cinque2020.instReprDerivation = { reprPrec := Cinque2020.instReprDerivation.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
The derivations a type admits. Maximalizing relatives, whose Head is interpreted inside the clause, force raising (§2.1.1); kind-defining and non-restrictive relatives have only matching (§2.1.1 fn. 12, §3.1.8).
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Strategies for the internal Head (Chapter 4) #
The strategies realizing the internal Head.
- invariantRelativizer : Strategy
A gap with an invariant relativizer, English that, Italian che.
- relativePronoun : Strategy
A relative pronoun or adjective, who and which, Italian cui and il quale.
- resumptive : Strategy
A resumptive pronoun or epithet.
- pro : Strategy
PRO, in participial relative clauses (§4.4).
- nonReduction : Strategy
The internal Head pronounced as well as the external one (§4.5).
Instances For
Equations
- Cinque2020.instDecidableEqStrategy x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Cinque2020.instReprStrategy = { reprPrec := Cinque2020.instReprStrategy.repr }
Equations
- One or more equations did not get rendered due to their size.
- Cinque2020.instReprStrategy.repr Cinque2020.Strategy.pro prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Cinque2020.Strategy.pro")).group prec✝
Instances For
What the strategy leaves at the relativized position, in the substrate's inventory, where PRO counts as a gap.
Equations
- Cinque2020.Strategy.invariantRelativizer.toNPRel = Relativization.NPRel.gap
- Cinque2020.Strategy.pro.toNPRel = Relativization.NPRel.gap
- Cinque2020.Strategy.relativePronoun.toNPRel = Relativization.NPRel.relPronoun
- Cinque2020.Strategy.resumptive.toNPRel = Relativization.NPRel.resumptive
- Cinque2020.Strategy.nonReduction.toNPRel = Relativization.NPRel.nonReduction
Instances For
The relative clause #
A relative clause in the double-headed structure, with its type, its derivation, its internal Head and the strategy realizing it, and the relativized position.
- type : RCType
- derivation : Derivation
- internalHead : Size
- strategy : Strategy
- position : Relativization.Position
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Cinque2020.instReprRC = { reprPrec := Cinque2020.instReprRC.repr }
The overt Head reconstructs into the clause when it is in a chain with the clause-internal position, in raising (§1.5).
Equations
Instances For
A relative clause is well formed when its type admits the derivation, a Head is deleted only under identity with the other, the external Head in raising (§4.1) and the internal Head under the gap strategy (§1.5), and a relative pronoun, a DP, realizes an internal Head at least that big (§2.1.2).
- admits : r.type.Admits r.derivation
- deletion : r.Reconstructs ∨ r.strategy = Strategy.invariantRelativizer → r.internalHead = r.type.externalHead
- relativePronoun : r.strategy = Strategy.relativePronoun → Size.DP ≤ r.internalHead
Instances For
Equations
- One or more equations did not get rendered due to their size.
The gap strategy realizes exactly an internal Head the size of the external one, a dP in
a restrictive and a DP in a non-restrictive (§4.2).
An internal Head bigger than the external one is categorially distinct from it, so neither Head deletes the other, and the relative clause neither reconstructs nor has a gap (§1.5, §2.1.2).
Below the demonstrative, a relative pronoun is bigger than the external Head, so the relative clause does not reconstruct (§2.1.2.2 (43), §2.1.1 fn. 13).
Maximalizing relatives take no relative pronoun (§2.1.1 (8)), since they force raising, which
needs the internal Head to match the external dP.
Worked examples #
The book that John read, by matching.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The champagne that they spilled, on its amount reading, by raising.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The man to whom I spoke, whose internal Head, a DP inside a PP, is a relative pronoun.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Hebrew she- with a resumptive at the genitive, the internal Head a DP inside a DP.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The gap realizations are what the English Fragment's that records at the direct object; the amount relative reconstructs, the other does not.
The oblique relative pronoun is what the English Fragment's whom records, and the pied-piped Head is no gap.
The genitive resumptive is what the Hebrew Fragment's she- records.