Privizentseva (2026): The Syntax of Relative Clauses and the Nature of Merge #
In Moksha the head of an externally headed relative clause may bear the case assigned inside the relative clause instead of the main-clause case, inverse case attraction (ICA). The book argues that the head's case predicts its connectivity: relatives with ICA are derived by raising, regular externally headed relatives by the head-external derivation, and no rival that gives the two one derivation, or raises both, fits the data (chapter 4).
A derivation is a chain of the head noun phrase. Its restrictor is first merged at the foot or,
by wholesale late merger, at a position where the noun phrase receives case, which the order of
the head noun's case probe and its Merge feature for the relative CP fixes (the book's Table 5.1,
caseSite). An idiom needs the noun first merged with its verb, an anaphor in the head a binder
above some merge point, and Condition C a merge point above the pronoun
(Minimalist.LateMergerBleeds). The same order explains the left-periphery restriction: a head
whose case was valued in the relative clause has no active case probe for main-clause selection,
so it is displaced (section 5.3), which the labeling algorithm, labeling the verb and its object
whatever the object's case, does not force. Merging the relative determiner with a noun that
still selects the relative clause is outside triggered Merge, where one factor is saturated; the
book lets a phrase be selected before it is saturated (section 5.5), which licenses every stage
of the raising derivation; triggered Merge rejects the stages before the noun is copied out,
though it accepts the derived object, which holds only the noun's trace. The derivation copies
the noun and kona's phrase onto a stack and merges them back in the reverse order. Moving
kona's phrase first and subextracting the noun, the alternative footnote 14 of the article
weighs, is licensed as well, but violates Freezing, which the stack derivation obeys, and leaves
the complementizer and the noun out of c-command. The appositive and restrictive readings of
relatives with ICA rule out a correlative or internally headed placement (section 3.3.1), and
attraction is not ordered by a case hierarchy (section 3.5).
Main statements #
rows_predicted: the analysis predicts every structural connectivity judgment of chapter 4.no_uniform_derivation,raising_only_fails: the rivals the book rejects fail on the rows.inSitu_rows: a relative stays in its base position exactly when its head's case probe is still active there.raisingRelative_licensed,triggeredMerge_rejects_raisingRelative: selection before saturation licenses the raising derivation at every stage, which triggered Merge rejects though it accepts the derived object.
Implementation notes #
- Heights order the head's position in the relative clause below the main-clause position, with a binder or pronoun of each clause just above the head's position there.
- Variable binding by a pronoun and crossover show no contrast between the two kinds of relative
(
pronounVariable_and_crossover_uniform); the book concludes that they do not rest on c-command in syntax, and they are not modelled as structural. - Rows with speaker variation (
%, the second idiom) are left out ofrows_predicted.
TODO #
- Section 6.2 obviates Condition C in the main clause, for a name inside the relative clause, by late merger of the head with its relative clause into the external determiner, which the chain of the head's restrictor does not model; the rows ch. 6 (11) and (12) record the data.
- The merge positions that section 5.4.4 gives the head inside a postpositional phrase are not
modelled;
konaRows_caserecords the pattern they derive.
References #
Sites and features #
The clauses the head of a relative clause relates to.
Instances For
Equations
- Privizentseva2026.instDecidableEqSite 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
- Privizentseva2026.instReprSite = { reprPrec := Privizentseva2026.instReprSite.repr }
The height of the head's position in each clause, the relative clause below the main clause.
Equations
Instances For
A binder or pronoun in a clause sits just above the head's position in that clause.
Instances For
The two features of the head noun whose order the book's Table 5.1 varies: its case probe and its Merge feature for the relative CP.
Instances For
Equations
- Privizentseva2026.instDecidableEqFeature x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Privizentseva2026.instReprFeature = { reprPrec := Privizentseva2026.instReprFeature.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
The site where the head noun's case probe is valued. Only the top feature of the stack is accessible: the probe is valued where it reaches the top, and checking the Merge feature moves the noun from the relative clause to the main clause.
Equations
Instances For
The order of the languages with ICA values the head's case inside the relative clause.
The reverse order, that of languages without ICA such as German and Polish ([Pri26a], Table 2), values it in the main clause.
Derivations of the head noun phrase #
A derivation of the head noun phrase: raising from the relative clause, with the order of the head noun's features, or the head-external derivation.
- raising (order : List Feature) : Derivation
- headExternal : Derivation
Instances For
Equations
- Privizentseva2026.instDecidableEqDerivation.decEq (Privizentseva2026.Derivation.raising a) (Privizentseva2026.Derivation.raising b) = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯
- Privizentseva2026.instDecidableEqDerivation.decEq (Privizentseva2026.Derivation.raising order) Privizentseva2026.Derivation.headExternal = isFalse ⋯
- Privizentseva2026.instDecidableEqDerivation.decEq Privizentseva2026.Derivation.headExternal (Privizentseva2026.Derivation.raising order) = isFalse ⋯
- Privizentseva2026.instDecidableEqDerivation.decEq Privizentseva2026.Derivation.headExternal Privizentseva2026.Derivation.headExternal = isTrue ⋯
Instances For
Equations
Equations
- One or more equations did not get rendered due to their size.
Instances For
The chain of the head noun phrase, lowest position first; a position admits the late merger of the restrictor when the noun phrase receives case there.
Equations
- One or more equations did not get rendered due to their size.
- Privizentseva2026.Derivation.headExternal.chain = [{ height := Privizentseva2026.Site.matrix.height, admissible := true }]
Instances For
The restrictor is first merged at the foot of the chain or, by wholesale late merger, at a position where the noun phrase receives case.
Equations
- d.MergesAt p = (p ∈ d.chain ∧ (d.chain.head? = some p ∨ p.admissible = true))
Instances For
Equations
- Privizentseva2026.instDecidablePredChainPositionMergesAt d x✝ = { decide := decide (x✝ ∈ d.chain) && decide (d.chain.head? = some x✝ ∨ x✝.admissible = true), reflects_decide := ⋯ }
An idiom whose verb is at s is licensed when the noun can be first merged there, as a
constituent with the verb.
Instances For
A binder at s binds an anaphor in the head when the restrictor can be merged at a position
the binder c-commands, binding applying at any stage.
Equations
- d.AnaphorAt s = ∃ p ∈ d.chain, d.MergesAt p ∧ p.height < s.binderHeight
Instances For
A pronoun at s can corefer with a name in the head when the restrictor can be merged above
it, out of its c-command domain.
Equations
Instances For
The data #
The case on the head of a relative clause: the internal case of ICA, assigned inside the relative clause, or the external case of the main clause.
Instances For
Equations
- Privizentseva2026.instDecidableEqHeadCase 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
- Privizentseva2026.instReprHeadCase = { reprPrec := Privizentseva2026.instReprHeadCase.repr }
The connectivity diagnostics that rest on c-command in syntax.
- idiom : Diagnostic
- anaphor : Diagnostic
- reflexiveVariable : Diagnostic
- conditionC : Diagnostic
Instances For
Equations
- Privizentseva2026.instDecidableEqDiagnostic x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
Equations
- One or more equations did not get rendered due to their size.
Instances For
What a derivation licenses for a diagnostic at a site: a reflexive read as a bound variable patterns with anaphor binding.
Equations
- d.Licenses Privizentseva2026.Diagnostic.idiom x✝ = d.IdiomAt x✝
- d.Licenses Privizentseva2026.Diagnostic.anaphor x✝ = d.AnaphorAt x✝
- d.Licenses Privizentseva2026.Diagnostic.reflexiveVariable x✝ = d.AnaphorAt x✝
- d.Licenses Privizentseva2026.Diagnostic.conditionC x✝ = d.ObviatesAt x✝
Instances For
Equations
- Privizentseva2026.instDecidableLicenses d Privizentseva2026.Diagnostic.idiom x✝ = Privizentseva2026.instDecidableLicenses._aux_1 d x✝
- Privizentseva2026.instDecidableLicenses d Privizentseva2026.Diagnostic.anaphor x✝ = Privizentseva2026.instDecidableLicenses._aux_3 d x✝
- Privizentseva2026.instDecidableLicenses d Privizentseva2026.Diagnostic.reflexiveVariable x✝ = Privizentseva2026.instDecidableLicenses._aux_5 d x✝
- Privizentseva2026.instDecidableLicenses d Privizentseva2026.Diagnostic.conditionC x✝ = Privizentseva2026.instDecidableLicenses._aux_7 d x✝
A relative clause of chapter 4 testing a structural diagnostic: the case on its head, the diagnostic, the site of the idiom's verb, binder or pronoun, and whether the tested reading is accepted.
- headCase : HeadCase
- diagnostic : Diagnostic
- site : Site
- accepted : Bool
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Privizentseva2026.instReprRow = { reprPrec := Privizentseva2026.instReprRow.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
Condition C rows are judged on the coreferent reading, the others on the sentence.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The structural connectivity rows of chapter 4.
Equations
Instances For
The rows testing variable binding by a pronoun and crossover: the case on the head and whether the bound reading is accepted.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Variable binding by a pronoun and crossover show no contrast: the bound reading is accepted whatever the case on the head, so these diagnostics do not tell the derivations apart.
The analysis #
The book's analysis: relatives with ICA raise with the case probe above the Merge feature, regular externally headed relatives are head-external.
Equations
Instances For
A derivation fits a row when it licenses the tested reading exactly when the row accepts it.
Equations
- d.Fits r = (r.accepted = true ↔ d.Licenses r.diagnostic r.site)
Instances For
Equations
- Privizentseva2026.instDecidableFits d r = { decide := decide (r.accepted = true) == decide (d.Licenses r.diagnostic r.site), reflects_decide := ⋯ }
Section 4.4.3: no derivation shared by both kinds of relative fits the data, since one cell receives opposite judgments for the two kinds. This rules out the head-external derivation for both, with ICA by agreement with the relative pronoun (section 4.4.3.1), and matching for both when the two heads differ only at PF (section 4.4.3.3).
Section 4.4.3.2: raising both kinds, the external case valued after movement, fails even with wholesale late merger tying connectivity to case: nothing keeps the restrictor of an external-case head from being merged below its case position, in the relative clause, where it could form an idiom or be bound.
The case probe valued inside the relative clause leaves no late-merger site above a pronoun there, so a head with ICA cannot obviate Condition C in the relative clause; valued after movement, it can, as raising relatives with external case do.
The left periphery (sections 3.3.2 and 5.3) #
Main-clause heads select a noun phrase with an active probe, the second-order selection of section 5.3.1. A head noun phrase whose case probe was valued inside the relative clause has no active case probe left in the main clause, so it must bear another probe, a topic, focus or Q feature, which displaces it to the left periphery.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
- Privizentseva2026.instDecidablePredDerivationForcedExSitu (Privizentseva2026.Derivation.raising o) = Privizentseva2026.instDecidablePredDerivationForcedExSitu._aux_1 o
The rows placing a relative clause with its head in the base position of the head noun phrase in the main clause, for a subject below a sentence adverb (section 5.3.2): the case on the head and whether the sentence is accepted.
Equations
- One or more equations did not get rendered due to their size.
Instances For
A relative clause stays in the base position of its head exactly when its derivation does not force the head noun phrase out of it.
Section 5.3.2: the labeling algorithm of Minimalist.SyntacticObject.label labels a verb
merged with any saturated noun phrase it selects, whatever case the phrase's head bears, so a
failure to label, the alternative account of forced displacement the section examines, cannot
displace a direct object with ICA.
Section 5.2.2: the relative determiner selects the head noun while the noun still selects the relative clause, so the two merge with selection pending on both, which triggered Merge never licenses: of the factors of a defined selection product one is saturated.
Projecting movement (section 5.2.2) #
A selection state that lets an item still selecting be selected, the second implication the book draws (section 5.5): the head, its remaining selectors, and the selectors pending from items selected before they were saturated.
- toOption : Option (Minimalist.LexicalItem.Token × List Minimalist.Cat × Multiset Minimalist.Cat)
Instances For
Equations
- Privizentseva2026.instDecidableEqPendingState.decEq { toOption := a } { toOption := b } = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯
Instances For
Equations
- Privizentseva2026.PendingState.instZero = { zero := { toOption := none } }
One factor selects the other, which need not be saturated; the selectee's remaining selectors become pending.
Equations
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- Privizentseva2026.PendingState.instCommMagma = { toMul := Privizentseva2026.PendingState.instMulZeroClass.toMul, mul_comm := ⋯ }
Equations
- One or more equations did not get rendered due to their size.
Selection before saturation as a licensing: a token with its selectors, a trace a saturated copy of the phrase its token heads.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The head noun, selecting the relative CP.
Equations
- Privizentseva2026.headNoun = { item := Minimalist.LexicalItem.of Minimalist.Cat.N [Minimalist.Cat.C], id := 1 }
Instances For
The relative pronoun kona, selecting the noun.
Equations
- Privizentseva2026.kona = { item := Minimalist.LexicalItem.of Minimalist.Cat.D [Minimalist.Cat.N] "kona", id := 2 }
Instances For
The verb of the relative clause, selecting kona's phrase.
Equations
- Privizentseva2026.rcVerb = { item := Minimalist.LexicalItem.of Minimalist.Cat.V [Minimalist.Cat.D], id := 3 }
Instances For
Tense, selecting the verb phrase.
Equations
- Privizentseva2026.rcTense = { item := Minimalist.LexicalItem.of Minimalist.Cat.T [Minimalist.Cat.V], id := 4 }
Instances For
The relative complementizer, selecting tense and then kona's phrase.
Equations
- Privizentseva2026.relC = { item := Minimalist.LexicalItem.of Minimalist.Cat.C [Minimalist.Cat.T, Minimalist.Cat.D], id := 5 }
Instances For
The external determiner, selecting the noun.
Equations
- Privizentseva2026.externalD = { item := Minimalist.LexicalItem.of Minimalist.Cat.D [Minimalist.Cat.N], id := 6 }
Instances For
Kona's phrase once the noun is copied out of it, the noun's trace in its place.
Equations
Instances For
The raising relative of section 5.2.2. The noun merges with kona while it still selects the relative CP, which is built over them. Once the complementizer is merged, the noun and then kona's phrase are copied onto the stack (the book's (14)); kona's phrase merges back first, at the edge of the CP (15), and the noun last, selecting the CP and projecting (16); the external determiner selects it (17).
Equations
- One or more equations did not get rendered due to their size.
Instances For
Selection before saturation licenses every stage of the raising relative, which obeys Freezing and ends with an empty stack and nothing pending: the noun's selector, pending since kona selected it, is checked once the noun merges back and selects the relative CP.
Triggered Merge accepts the derived relative but rejects its derivation: it fails exactly at the stages where the noun, still selecting, sits inside kona's phrase, before it is copied out, which the derived object, holding only the noun's trace there, no longer shows.
Kona's phrase, kona selecting the noun.
Equations
Instances For
The alternative footnote 14 of the article reports: kona's phrase moves to the edge of the relative CP, and the noun is then subextracted from it to select the CP.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Footnote 14 of the article: selection before saturation licenses the subextraction too, kona's phrase leaving the trace of kona, but the noun then moves out of a moved phrase, against Freezing, and once kona's phrase has moved neither the noun nor the complementizer c-commands the other, so the complementizer's search no longer finds the noun, which the book's derivation copies while the complementizer still c-commands it.
The attracted case (section 3.5) #
The accepted relatives with ICA: the external case and the attracted internal case.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Section 3.5: ICA is not governed by a case hierarchy. Attraction runs both ways between the nominative and the genitive, so no asymmetric relation, a hierarchy in particular, ranks the attracted case above the case it replaces in every accepted relative.
Readings (section 3.3.1) #
Equations
- Privizentseva2026.instDecidableEqReading 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
- Privizentseva2026.instReprReading = { reprPrec := Privizentseva2026.instReprReading.repr }
The readings each placement of a relative clause allows, as section 3.3.1 states the typology: a correlative is only maximalizing, an internally headed relative is never appositive, and an externally headed relative allows all three.
Equations
- Privizentseva2026.Allows Relativization.Placement.correlative x✝ = (x✝ = Privizentseva2026.Reading.maximalizing)
- Privizentseva2026.Allows Relativization.Placement.internallyHeaded x✝ = (x✝ ≠ Privizentseva2026.Reading.appositive)
- Privizentseva2026.Allows Relativization.Placement.postNominal x✝ = True
- Privizentseva2026.Allows Relativization.Placement.preNominal x✝ = True
Instances For
Equations
- Privizentseva2026.instDecidableAllows Relativization.Placement.correlative x✝ = Privizentseva2026.instDecidableAllows._aux_1 x✝
- Privizentseva2026.instDecidableAllows Relativization.Placement.internallyHeaded x✝ = { decide := !decide (x✝ = Privizentseva2026.Reading.appositive), reflects_decide := ⋯ }
- Privizentseva2026.instDecidableAllows Relativization.Placement.postNominal x✝ = { decide := true, reflects_decide := ⋯ }
- Privizentseva2026.instDecidableAllows Relativization.Placement.preNominal x✝ = { decide := true, reflects_decide := ⋯ }
Equations
- Privizentseva2026.instDecidableEqStrategy x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Privizentseva2026.instReprStrategy = { reprPrec := Privizentseva2026.instReprStrategy.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
The rows testing a reading: the strategy, the reading the test requires, a proper-name head the appositive and a free-choice head the restrictive, and whether the sentence is accepted.
Equations
- One or more equations did not get rendered due to their size.
Instances For
A placement fits the readings of a strategy when it allows exactly the tested readings the rows accept.
Equations
- Privizentseva2026.ReadingsFit p s = ∀ x ∈ Privizentseva2026.readingRows, x.1 = s → (x.2.2 = true ↔ Privizentseva2026.Allows p x.2.1)
Instances For
Section 3.3.1: relatives with ICA have appositive and restrictive readings, so of the placements only an externally headed one fits them, as it fits regular relatives.
Correlatives reject both tested readings, which only the correlative placement predicts.
The case of the relative pronoun (sections 3.5 and 5.4.4) #
The cases of the relative pronoun kona: nominative, genitive and dative. An ablative form occurs only in a few contexts, after baška 'except'; for a missing case a genitive kona with a postposition, or for direction a dative, stands in.
Equations
Instances For
The relatives with ICA recording the case on the head and on kona, with whether the sentence is accepted.
Equations
- One or more equations did not get rendered due to their size.
Instances For
In an accepted relative with ICA the head and kona share their case exactly when kona has it, and kona inflected for a case it lacks is rejected.
The rows associating a left-peripheral noun phrase or relative clause with a position inside an adjunct or complex noun phrase island: the strategy, if any, and whether it is accepted.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Section 3.3.2: a plain noun phrase and both kinds of externally headed relative are rejected at the left edge when their base position is inside an island, and correlatives are not, so the first reach the left edge by movement and correlatives are generated there.