Verbal Decomposition

@cite{cuervo-2003} @cite{wood-2015} @cite{pylkkanen-2008}

Sub-eventive verb heads that decompose verbal structure into fine-grained event components. Following @cite{wood-2015} and @cite{pylkkanen-2008}, CAUSE is an independent head — separate from both Voice (which introduces the external argument) and the root-determined event structure (vGO, vBE).

Key decompositions:

• State: [vBE]
• Activity: [vDO]
• Inchoative: [vCAUSE, vGO, vBE] (anticausative: "the door opened")
• Causative: [vDO, vCAUSE, vGO, vBE] (transitive: "John opened the door")

Voice contributes vDO (the agent's activity); CAUSE is part of the root structure, present in both causative and anticausative alternants.

Independent of applicative heads — used by Fission, EventStructureBridge, and the Spanish fragment.

inductive Minimalism.VerbHead : Type

Sub-eventive verb heads from @cite{cuervo-2003}, extended with vCAUSE following @cite{wood-2015} and @cite{pylkkanen-2008}.

• vDO: Dynamic subevent where an agent does something
• vCAUSE: Causal relation between subevents (independent head; present in both causative and anticausative alternants)
• vGO: Dynamic subevent of change (inchoative component)
• vBE: Stative subevent of result state

• vDO : VerbHead
• vCAUSE : VerbHead
• vGO : VerbHead
• vBE : VerbHead

instance Minimalism.instDecidableEqVerbHead : DecidableEq VerbHead

Equations

• Minimalism.instDecidableEqVerbHead x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Minimalism.instBEqVerbHead.beq : VerbHead → VerbHead → Bool

Equations

• Minimalism.instBEqVerbHead.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Minimalism.instBEqVerbHead : BEq VerbHead

Equations

• Minimalism.instBEqVerbHead = { beq := Minimalism.instBEqVerbHead.beq }

instance Minimalism.instReprVerbHead : Repr VerbHead

Equations

• Minimalism.instReprVerbHead = { reprPrec := Minimalism.instReprVerbHead.repr }

def Minimalism.instReprVerbHead.repr : VerbHead → ℕ → Std.Format

Equations

• Minimalism.instReprVerbHead.repr Minimalism.VerbHead.vDO prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalism.VerbHead.vDO")).group prec✝
• Minimalism.instReprVerbHead.repr Minimalism.VerbHead.vCAUSE prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalism.VerbHead.vCAUSE")).group prec✝
• Minimalism.instReprVerbHead.repr Minimalism.VerbHead.vGO prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalism.VerbHead.vGO")).group prec✝
• Minimalism.instReprVerbHead.repr Minimalism.VerbHead.vBE prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Minimalism.VerbHead.vBE")).group prec✝

def Minimalism.isInchoative (heads : List VerbHead) : Bool

A verb's event-structural decomposition as a list of VerbHeads.

Key patterns:

• State: [vBE]
• Activity: [vDO]
• Inchoative: [vCAUSE, vGO, vBE] (anticausative: "the door opened")
• Causative: [vDO, vCAUSE, vGO, vBE] (transitive: "John opened the door")

Equations

• Minimalism.isInchoative heads = (heads.contains Minimalism.VerbHead.vGO && heads.contains Minimalism.VerbHead.vBE && !heads.contains Minimalism.VerbHead.vDO)

def Minimalism.isCausative (heads : List VerbHead) : Bool

Is this a causative (external cause + change + result)?

Equations

• Minimalism.isCausative heads = (heads.contains Minimalism.VerbHead.vDO && heads.contains Minimalism.VerbHead.vGO && heads.contains Minimalism.VerbHead.vBE)

def Minimalism.isState (heads : List VerbHead) : Bool

Is this a simple state (vBE only)?

Equations

• Minimalism.isState heads = (heads == [Minimalism.VerbHead.vBE])

def Minimalism.isActivity (heads : List VerbHead) : Bool

Is this a simple activity (vDO only)?

Equations

• Minimalism.isActivity heads = (heads == [Minimalism.VerbHead.vDO])

def Minimalism.hasCause (heads : List VerbHead) : Bool

Does this decomposition contain a CAUSE head?

Equations

• Minimalism.hasCause heads = heads.contains Minimalism.VerbHead.vCAUSE

def Minimalism.isAnticausative (heads : List VerbHead) : Bool

Is this an anticausative (CAUSE present, but no external agent)? Anticausatives have the causal structure but lack an agentive vDO. This is the key insight from @cite{wood-2015}: CAUSE is independent of Voice, so it can appear without an agent.

Equations

• Minimalism.isAnticausative heads = (Minimalism.hasCause heads && heads.contains Minimalism.VerbHead.vGO && !heads.contains Minimalism.VerbHead.vDO)

theorem Minimalism.inchoative_is_go_be : isInchoative [VerbHead.vGO, VerbHead.vBE] = true

Inchoative = change + result, no external cause.

theorem Minimalism.inchoative_with_cause : isInchoative [VerbHead.vCAUSE, VerbHead.vGO, VerbHead.vBE] = true

Inchoative with CAUSE: [vCAUSE, vGO, vBE] is still inchoative (no vDO).

theorem Minimalism.causative_is_do_go_be : isCausative [VerbHead.vDO, VerbHead.vGO, VerbHead.vBE] = true

Causative = external cause + change + result.

theorem Minimalism.causative_with_cause : isCausative [VerbHead.vDO, VerbHead.vCAUSE, VerbHead.vGO, VerbHead.vBE] = true

Causative with CAUSE head.

theorem Minimalism.inchoative_not_causative : isCausative [VerbHead.vGO, VerbHead.vBE] = false

Inchoative is NOT causative (no vDO).

theorem Minimalism.causative_not_inchoative : isInchoative [VerbHead.vDO, VerbHead.vGO, VerbHead.vBE] = false

Causative is NOT inchoative (has vDO).

theorem Minimalism.state_neither : isInchoative [VerbHead.vBE] = false ∧ isCausative [VerbHead.vBE] = false

A pure state is neither inchoative nor causative.

theorem Minimalism.activity_neither : isInchoative [VerbHead.vDO] = false ∧ isCausative [VerbHead.vDO] = false

An activity is neither inchoative nor causative.

theorem Minimalism.cause_shared_across_alternation : hasCause [VerbHead.vDO, VerbHead.vCAUSE, VerbHead.vGO, VerbHead.vBE] = true ∧ hasCause [VerbHead.vCAUSE, VerbHead.vGO, VerbHead.vBE] = true

CAUSE is present in both causative and anticausative alternants.

theorem Minimalism.anticausative_is_cause_go : isAnticausative [VerbHead.vCAUSE, VerbHead.vGO, VerbHead.vBE] = true

Anticausative = CAUSE + change, no agent.

theorem Minimalism.causative_not_anticausative : isAnticausative [VerbHead.vDO, VerbHead.vCAUSE, VerbHead.vGO, VerbHead.vBE] = false

Causative with vDO is NOT anticausative.