The sequences of heads the sources draw, each bottom-up.
The definition is too large to print here; read it in the source.
Docs / Syntax / Minimalist / ExtendedProjection
import Linglib.Syntax.Minimalist.ExtendedProjection · namespace Minimalist
Grimshaw takes a clause or a noun phrase to be one extended projection: a lexical head together with the functional heads above it, all sharing the categorial features of the lexical head, each at a functional level no lower than the one below it. The order of the levels is read off here from the structures the sources draw rather than assigned head by head. Each cited structure is a sequence of heads, bottom-up, and a source may also take two categories to be one head; a category extends to another when a chain of cited steps leads from the first to the second. Every cited step stays within one family, so a category extends only to categories of its family, and every category is reached from the lexical head of its family, so it extends that head.
Since the order collects the structures of several sources, a category one source places above another and another source below it comes out level with it. Cinque interleaves tense, mood, modality and aspect, Zanuttini places negation on both sides of tense and Laka places polarity below tense in English and above it in Basque, so these heads are mutually level; Rizzi's topics recur on both sides of the focus, so topic and focus are level. Where the sources agree the order is strict, as along the verbal spine from the verb to Force and the nominal spine from the noun to K, and where no source relates two heads they are incomparable: Keine's nominalized clause neither contains nor is contained in a CP.
Minimalist.citedSequences, Minimalist.citedIdentifications: the structures the sources draw.Minimalist.Cat.Step: a cited step, from a head to the one a source merges directly above it.Minimalist.Cat.ExtendsTo: the extension order, the reflexive-transitive closure of the steps.A root, a VP and the verb of a cited structure are its lexical head, an IP is T, Cinque's heads
are read through Cartography.Head.cat, and the heads of a structure that are not categories here
(Agr, Cause, Deg, Laka's English AP) are left out, its other heads kept in order. Cinque's
demonstrative and numeral are specifiers, taken as heads as his footnote allows; Zanuttini's
numbered negations are all Neg; Laka's Σ is Pol. Only the high applicative is cited:
Pylkkänen's low applicative sits below the verb, and with one Appl category citing both would
make the verb, v and the applicative one level.
Inner aspect is placed by Liu and Yip's clause sizes, which follow Travis; Travis's own structure, Kratzer's Voice, Svenonius's adpositional heads and Grimshaw's definitions are not yet read from the sources. No cited structure relates little n to the dividing head or D to the demonstrative, so those pairs are incomparable.
The sequences of heads the sources draw, each bottom-up.
The definition is too large to print here; read it in the source.
The pairs of categories a source takes to be one head: Rizzi's che manifests the force position, and Speas and Tenny's speech-act phrase is the projection that encodes force.
The cited steps: each head of Cinque's hierarchy or of a cited sequence to the next one up, and each cited identification in both directions.
The definition is too large to print here; read it in the source.
Used by Cat.Step, Cat.instDecidableRelStep
c.Step d holds when a source merges d directly above c or takes the two to be one
head.
Built from
Used by Cat.instDecidableRelStep, Cat.ExtendsTo, Cat.Step.extendsTo, Cat.Step.family_eq
Used in Panagiotidis2015
Built from ,
c.ExtendsTo d holds when a chain of cited steps leads from c to d, so that d can
extend the projection of c.
Built from
Used by Cat.decidableExtendsTo, Cat.instDecidableRelExtendsTo, Cat.instIsPreorderExtendsTo, Cat.Step.extendsTo, Cat.ExtendsTo.family_eq, Cat.lexical_extendsTo, Cat.antisymmRel_T, Cat.antisymmRel_Top_Foc, Cat.antisymmRel_Force, Cat.isChain_asymmRel, Cat.not_extendsTo_Nmlz_C
Used in Syntax/Minimalist/Clause/Size, Syntax/Minimalist/Clause/Spine, Borer2005, BrananErlewine2023, Egressy2026 and 2 more
Reachability along the cited steps, irreducible so that elaboration never computes the
closure; decide +kernel evaluates it.
Built from
Used by Cat.instDecidableRelExtendsTo
Built from ,
Used in Syntax/Minimalist/Clause/Size
Built from
A category extends only to categories of its family.
Built from
Every category extends the lexical head of its family.
Built from
Tense, aspect, modality, mood, the evidential, negation and polarity are mutually level.
Built from
Topic and focus are level, since Rizzi's topics recur on both sides of the focus.
Built from
The verbal spine rises strictly from the verb through v, Voice, tense, finiteness and focus to Force, and the nominal spine from the noun through the dividing and counting heads and D to K.
Built from
Keine's nominalized clause and the CP are incomparable.
Built from