Root attachment position

A verb root attaches in one of two structural positions ([BKG20] ch. 1; the Distributed-Morphology tradition, Marantz): adjoined to a head, or as a head's complement. The distinction conditions vVPE eligibility ([Kal26]), result-state modifier scope, and the restitutive/repetitive again ambiguity ([Mer13]).

Main declarations

• Root.Position — complement vs adjoined attachment

Root position

inductive Verb.Root.Position : Type

Structural attachment position of a verb root, following the Distributed-Morphology tradition (Marantz; systematized by [BKG20]):

• complement: root merges as complement of v (inside VP), filling the result/state slot (√flat, √crack, √blossom, √drown);
• adjoined: root merges as adjunct to v (outside VP), modifying the event (√jog, √toss, √hand).

The distinction matters beyond root typology: it conditions vVPE eligibility ([Kal26]), result-state modifier scope, and the restitutive/repetitive again ambiguity ([BKG20], [Mer13]).

• complement : Position
• adjoined : Position

@[implicit_reducible]

instance Verb.Root.instDecidableEqPosition : DecidableEq Position

Equations

• Verb.Root.instDecidableEqPosition x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance Verb.Root.instReprPosition : Repr Position

Equations

• Verb.Root.instReprPosition = { reprPrec := Verb.Root.instReprPosition.repr }

def Verb.Root.instReprPosition.repr : Position → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.