Event Structure ↔ Syntactic Heads Bridge

@cite{cuervo-2003}

Connects Rappaport @cite{rappaport-hovav-levin-1998} event structure templates to @cite{cuervo-2003}'s syntactic verb head decomposition. This bridges the semantic layer (Semantics.Events/EventStructure) to the syntactic layer (Minimalism/Core/Applicative).

Key Mapping

Template	VerbHeads	Description
state	[vBE]	Simple state
activity	[vDO]	Agentive activity
achievement	[vCAUSE, vGO, vBE]	Inchoative change of state
accomplishment	[vDO, vCAUSE, vGO, vBE]	Causative with external cause
motionContact	[vDO]	Manner activity (MOVE+CONTACT)

def Minimalism.Bridge.templateToHeads : Semantics.Lexical.Verb.EventStructure.Template → List VerbHead

Map event structure templates to Cuervo's verb head decomposition.

This is the core syntax–semantics bridge: the semantic template determines which sub-eventive heads are projected in the syntax.

Equations

• One or more equations did not get rendered due to their size.
• Minimalism.Bridge.templateToHeads Semantics.Lexical.Verb.EventStructure.Template.state = [Minimalism.VerbHead.vBE]
• Minimalism.Bridge.templateToHeads Semantics.Lexical.Verb.EventStructure.Template.activity = [Minimalism.VerbHead.vDO]
• Minimalism.Bridge.templateToHeads Semantics.Lexical.Verb.EventStructure.Template.achievement = [Minimalism.VerbHead.vCAUSE, Minimalism.VerbHead.vGO, Minimalism.VerbHead.vBE]
• Minimalism.Bridge.templateToHeads Semantics.Lexical.Verb.EventStructure.Template.motionContact = [Minimalism.VerbHead.vDO]

theorem Minimalism.Bridge.accomplishment_is_causative : isCausative (templateToHeads Semantics.Lexical.Verb.EventStructure.Template.accomplishment) = true

Accomplishments map to causative structure.

theorem Minimalism.Bridge.achievement_is_inchoative : isInchoative (templateToHeads Semantics.Lexical.Verb.EventStructure.Template.achievement) = true

Achievements map to inchoative structure.

theorem Minimalism.Bridge.state_maps_to_state : isState (templateToHeads Semantics.Lexical.Verb.EventStructure.Template.state) = true

States map to simple state structure.

theorem Minimalism.Bridge.activity_maps_to_activity : isActivity (templateToHeads Semantics.Lexical.Verb.EventStructure.Template.activity) = true

Activities map to simple activity structure.

theorem Minimalism.Bridge.accomplishment_has_external_cause : Semantics.Lexical.Verb.EventStructure.Template.accomplishment.hasExternalCauser = true ∧ (templateToHeads Semantics.Lexical.Verb.EventStructure.Template.accomplishment).contains VerbHead.vDO = true

Accomplishments have external cause iff they have vDO.

theorem Minimalism.Bridge.achievement_no_external_cause : Semantics.Lexical.Verb.EventStructure.Template.achievement.hasExternalCauser = false ∧ (templateToHeads Semantics.Lexical.Verb.EventStructure.Template.achievement).contains VerbHead.vDO = false

Achievements lack external cause and lack vDO.

theorem Minimalism.Bridge.causative_alternation_shared_core : have accHeads := templateToHeads Semantics.Lexical.Verb.EventStructure.Template.accomplishment; have achHeads := templateToHeads Semantics.Lexical.Verb.EventStructure.Template.achievement; (achHeads.all fun (x : VerbHead) => accHeads.contains x) = true

The causative alternation: accomplishment and achievement share the inchoative core [vGO, vBE], differing only in vDO (external cause).