Spanish Verb Entries for the Causative Alternation

[Cue03] [MP26] [KG09]

Verbs from Muñoz [MP26] classified by anticausative marking (SE) and event-structural decomposition, extended with causer specification from [KG09].

Anticausative Marking Types

• Marked: Anticausative requires SE (quebrar → quebrarse)
• Unmarked: No SE in anticausative (mejorar → mejorar)
• Optional: SE is marginal (hervir → ?hervirse)

Causer Specification ([KG09] §§3.1–3.2)

The thematic specification of the causing participant determines whether a verb can anticausativize:

• EFFECTOR (underspecified): causative admits agents, instruments, natural forces, events → anticausative available (romper, abrir)
• AGENT (specified): causative requires agentive causer → no anticausative, only reflexive (asesinar, cortar)

inductive Spanish.Predicates.AnticausativeMarking : Type

How an anticausative verb is morphologically marked in Spanish.

• marked : AnticausativeMarking
• unmarked : AnticausativeMarking
• optional : AnticausativeMarking

@[implicit_reducible]

instance Spanish.Predicates.instDecidableEqAnticausativeMarking : DecidableEq AnticausativeMarking

Equations

• Spanish.Predicates.instDecidableEqAnticausativeMarking x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Spanish.Predicates.instReprAnticausativeMarking.repr : AnticausativeMarking → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Spanish.Predicates.instReprAnticausativeMarking : Repr AnticausativeMarking

Equations

• Spanish.Predicates.instReprAnticausativeMarking = { reprPrec := Spanish.Predicates.instReprAnticausativeMarking.repr }

inductive Spanish.Predicates.CauserSpec : Type

Thematic specification of the participant in the causing subevent ([KG09] §§2.1, 3.1–3.2).

The critical distinction: EFFECTOR ([VVW96]) is thematically underspecified — the causer can be an agent, instrument, natural force, or event. AGENT is thematically specified — the causer must be agentive (volitional, sentient).

This determines anticausativizability: reflexivization of an EFFECTOR verb yields an anticausative reading; reflexivization of an AGENT verb yields only a reflexive reading.

• effector : CauserSpec

  Underspecified causer: admits agents, instruments, natural forces, events. Spanish romper, abrir, hundir, ahogar.

• agent : CauserSpec

  Agentive causer required. Spanish asesinar, cortar.

@[implicit_reducible]

instance Spanish.Predicates.instDecidableEqCauserSpec : DecidableEq CauserSpec

Equations

• Spanish.Predicates.instDecidableEqCauserSpec x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance Spanish.Predicates.instReprCauserSpec : Repr CauserSpec

Equations

• Spanish.Predicates.instReprCauserSpec = { reprPrec := Spanish.Predicates.instReprCauserSpec.repr }

def Spanish.Predicates.instReprCauserSpec.repr : CauserSpec → ℕ → Std.Format

Equations

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

structure Spanish.Predicates.SpanishVerbEntryextends Verb : Type

A Spanish verb with its causative alternation properties.

Extends Verb with Spanish-specific fields for anticausative marking and event-structural decomposition.

• frames : List Frame
• subjectEntailments : Option ArgumentStructure.EntailmentProfile
• objectEntailments : Option ArgumentStructure.EntailmentProfile
• unaccusative : Bool
• voiceType : Option VoiceType
• passivizable : Bool
• implicitObj : Option ImplicitInterp
• implicitGoal : Option ImplicitInterp
• vendlerClass : Option Features.VendlerClass
• degreeAchievementScale : Option Features.DegreeAchievement.DegreeAchievementScale
• verbIncClass : Option Semantics.Aspect.Incremental.VerbIncClass
• cosType : Option Features.ChangeOfState.CoSType
• presupType : Option PresupTriggerType
• projectionBehavior : Option ProjectionBehavior
• implicative : Option Features.Implicative
• causative : Option Features.Causative
• causalSource : Option Causation.Psych.CausalSource
• opaqueContext : Bool
• attitude : Option Features.Attitude
• readings : List Reading
• takesQuestionBase : Bool
• complementSig : Option NaturalLogic.EntailmentSig
• levinClass : Option Semantics.Lexical.LevinClass
• root : Root
• form : String
• speechActVerb : Bool
• senseTag : SenseTag
• anticausativeMarking : AnticausativeMarking

  How the anticausative is marked

• causativeAlternation : Bool

  Participates in causative/anticausative alternation

• verbHead : List Minimalist.VerbHead

  Cuervo's decomposition of the inchoative form

• licensesStylLE : Bool

  Empirical: does this verb license stylistic LE?

• causerSpec : Option CauserSpec

  Thematic specification of the causing participant ([KG09]). none for non-causative verbs.

@[implicit_reducible]

instance Spanish.Predicates.instReprSpanishVerbEntry : Repr SpanishVerbEntry

Equations

• Spanish.Predicates.instReprSpanishVerbEntry = { reprPrec := Spanish.Predicates.instReprSpanishVerbEntry.repr }

def Spanish.Predicates.instReprSpanishVerbEntry.repr : SpanishVerbEntry → ℕ → Std.Format

Equations

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

@[implicit_reducible]

instance Spanish.Predicates.instBEqSpanishVerbEntry : BEq SpanishVerbEntry

Equations

• Spanish.Predicates.instBEqSpanishVerbEntry = { beq := Spanish.Predicates.instBEqSpanishVerbEntry.beq }

def Spanish.Predicates.instBEqSpanishVerbEntry.beq : SpanishVerbEntry → SpanishVerbEntry → Bool

Equations

• One or more equations did not get rendered due to their size.
• Spanish.Predicates.instBEqSpanishVerbEntry.beq x✝¹ x✝ = false

def Spanish.Predicates.abrir : SpanishVerbEntry

abrir "open" — marked anticausative, licenses stylistic LE. EFFECTOR causer: admits agents, instruments, natural forces ([KG09] exx. 47–49).

Equations

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

def Spanish.Predicates.romper : SpanishVerbEntry

romper "break" — marked anticausative, licenses stylistic LE. EFFECTOR causer: agents, instruments, natural forces, events ([KG09] exx. 13–17).

Equations

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

def Spanish.Predicates.hundir : SpanishVerbEntry

hundir "sink" — marked anticausative, licenses stylistic LE. EFFECTOR causer ([KG09] ex. 46).

Equations

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

def Spanish.Predicates.caer : SpanishVerbEntry

caer "fall" — marked anticausative, licenses stylistic LE. (ex. 9, unaccusative)

Equations

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

def Spanish.Predicates.morir : SpanishVerbEntry

morir "die" — marked anticausative, licenses stylistic LE. (ex. 10)

Equations

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

def Spanish.Predicates.cerrar : SpanishVerbEntry

cerrar "close" — marked anticausative; vehicle for the person-paradigm in [MP26] exx. 15–19 (me/te le cerró la ventana OK, le/nos/les le cerró la ventana unacceptable).

Equations

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

def Spanish.Predicates.quebrar : SpanishVerbEntry

quebrar "crack" — marked anticausative, licenses stylistic LE. (exx. 38–39)

Equations

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

def Spanish.Predicates.hervir : SpanishVerbEntry

hervir "boil" — optional SE marking, but still licenses stylistic LE. (exx. 41–44)

Equations

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

def Spanish.Predicates.olvidar : SpanishVerbEntry

olvidar "forget" — marked anticausative, licenses stylistic LE. (ex. 11, psych verb)

Equations

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

def Spanish.Predicates.ocurrir : SpanishVerbEntry

ocurrir "occur" — marked anticausative, licenses stylistic LE. (ex. 12)

Equations

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

def Spanish.Predicates.mejorar : SpanishVerbEntry

mejorar "improve" — UNMARKED anticausative, does NOT license stylistic LE. (ex. 40b *Me le mejoró el sueldo)

Equations

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

def Spanish.Predicates.rasgar : SpanishVerbEntry

rasgar "tear (gash-like)" — Levin 45.1 equivalent; marked anticausative. Unlike English tear, rasgar requires flimsy/insubstantial patients and implies unidirectional (linear, gash-like) separation. Incompatible with careful controlled action. [SMcN26] (§3.2).

Equations

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

def Spanish.Predicates.asesinar : SpanishVerbEntry

asesinar "assassinate" — AGENT causer required. No anticausative. Reflexivization yields reflexive reading only (El senador se asesinó = 'The senator killed himself'). [KG09] exx. 24–29.

Equations

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

def Spanish.Predicates.cortar : SpanishVerbEntry

cortar "cut" — AGENT causer required. No anticausative. [KG09] ex. 26.

Equations

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

def Spanish.Predicates.ahogar : SpanishVerbEntry

ahogar "drown" — EFFECTOR causer, but animate theme undergoers are typical. Alternates: ahogarse is a derived inchoative. [KG09] exx. 50–52.

Equations

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

def Spanish.Predicates.empeorar : SpanishVerbEntry

empeorar "worsen" — internally caused COS verb. No CAUSE in LSR. Rejects por sí solo. [KG09] ex. 65a.

Equations

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

def Spanish.Predicates.crecer : SpanishVerbEntry

crecer "grow" — internally caused COS verb. No CAUSE in LSR. Rejects por sí solo. [KG09] ex. 65c.

Equations

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

def Spanish.Predicates.munozVerbs : List SpanishVerbEntry

Verbs from [MP26] — tested for stylistic LE.

Equations

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

def Spanish.Predicates.kgVerbs : List SpanishVerbEntry

Verbs from [KG09] — causer specification data, not tested for stylistic LE.

Equations

• Spanish.Predicates.kgVerbs = [Spanish.Predicates.asesinar, Spanish.Predicates.cortar, Spanish.Predicates.ahogar, Spanish.Predicates.empeorar, Spanish.Predicates.crecer]

def Spanish.Predicates.allVerbs : List SpanishVerbEntry

All verb entries in the fragment.

Equations

• Spanish.Predicates.allVerbs = Spanish.Predicates.munozVerbs ++ Spanish.Predicates.kgVerbs

theorem Spanish.Predicates.abrir_licenses_stylLE : abrir.licensesStylLE = true

theorem Spanish.Predicates.romper_licenses_stylLE : romper.licensesStylLE = true

theorem Spanish.Predicates.hundir_licenses_stylLE : hundir.licensesStylLE = true

theorem Spanish.Predicates.caer_licenses_stylLE : caer.licensesStylLE = true

theorem Spanish.Predicates.morir_licenses_stylLE : morir.licensesStylLE = true

theorem Spanish.Predicates.cerrar_licenses_stylLE : cerrar.licensesStylLE = true

theorem Spanish.Predicates.quebrar_licenses_stylLE : quebrar.licensesStylLE = true

theorem Spanish.Predicates.hervir_licenses_stylLE : hervir.licensesStylLE = true

theorem Spanish.Predicates.olvidar_licenses_stylLE : olvidar.licensesStylLE = true

theorem Spanish.Predicates.ocurrir_licenses_stylLE : ocurrir.licensesStylLE = true

theorem Spanish.Predicates.mejorar_blocks_stylLE : mejorar.licensesStylLE = false

theorem Spanish.Predicates.effector_verbs_alternate : ((List.filter (fun (v : SpanishVerbEntry) => v.causerSpec == some CauserSpec.effector) allVerbs).all fun (x : SpanishVerbEntry) => x.causativeAlternation) = true

EFFECTOR verbs anticausativize; AGENT verbs do not. [KG09] §§3.1–3.2.

theorem Spanish.Predicates.agent_verbs_dont_alternate : ((List.filter (fun (v : SpanishVerbEntry) => v.causerSpec == some CauserSpec.agent) allVerbs).all fun (x : SpanishVerbEntry) => !x.causativeAlternation) = true

theorem Spanish.Predicates.stylLE_verbs_are_inchoative : ((List.filter (fun (x : SpanishVerbEntry) => x.licensesStylLE) munozVerbs).all fun (v : SpanishVerbEntry) => Minimalist.isInchoative v.verbHead) = true

All Muñoz-Pérez verbs that license stylistic LE are inchoative.

theorem Spanish.Predicates.blocking_verb_is_unmarked : ((List.filter (fun (x : SpanishVerbEntry) => !x.licensesStylLE) munozVerbs).all fun (v : SpanishVerbEntry) => v.anticausativeMarking == AnticausativeMarking.unmarked) = true

The only Muñoz-Pérez verb that blocks stylistic LE is unmarked.