Thick vs Thin Causative Verb Data

@cite{martin-rose-nichols-2025} @cite{embick-2009}

Corpus survey data from Table 3: 37 English causative verbs classified by four binary properties:

1. alternating: Participates in the causative/anticausative alternation
2. thick: Encodes manner of causing (subject restriction on abstract causes)
3. ASR: Compatible with strong adjectival resultatives (break open)
4. omissionSubjects: Compatible with omission/quality-denoting subjects

Key Findings (§4.3)

• 12/13 thick verbs have ASR, 22/24 thin verbs accept omission subjects
• Thick ≈ causative manner verbs, but bury is thick without ASR
• The correlation is strong but not perfect: some thick verbs (burn, lift, lock) are occasionally found with omission subjects in corpora

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.activate : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.activate = Fragments.English.Predicates.Verbal.activate

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.affect : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.affect = Fragments.English.Predicates.Verbal.affect

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.change : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.change = Fragments.English.Predicates.Verbal.change

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.damage : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.damage = Fragments.English.Predicates.Verbal.damage

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.destroy : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.destroy = Fragments.English.Predicates.Verbal.destroy

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.eliminate : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.eliminate = Fragments.English.Predicates.Verbal.eliminate

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.hurt : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.hurt = Fragments.English.Predicates.Verbal.hurt

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.kill : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.kill = Fragments.English.Predicates.Verbal.kill

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.restore : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.restore = Fragments.English.Predicates.Verbal.restore

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.start : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.start = Fragments.English.Predicates.Verbal.start

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.stop : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.stop = Fragments.English.Predicates.Verbal.stop

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.trigger : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.trigger = Fragments.English.Predicates.Verbal.trigger

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.break_ : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.break_ = Fragments.English.Predicates.Verbal.break_

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.burn : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.burn = Fragments.English.Predicates.Verbal.burn

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.bury : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.bury = Fragments.English.Predicates.Verbal.bury

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.cut : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.cut = Fragments.English.Predicates.Verbal.cut

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.drop : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.drop = Fragments.English.Predicates.Verbal.drop

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.lift : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.lift = Fragments.English.Predicates.Verbal.lift

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.lock : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.lock = Fragments.English.Predicates.Verbal.lock

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.melt : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.melt = Fragments.English.Predicates.Verbal.melt

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.mix : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.mix = Fragments.English.Predicates.Verbal.mix

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.shut : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.shut = Fragments.English.Predicates.Verbal.shut

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.spread : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.spread = Fragments.English.Predicates.Verbal.spread

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.stretch : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.stretch = Fragments.English.Predicates.Verbal.stretch

@[reducible, inline]

abbrev Phenomena.Causation.ThickThin.V.switch : Fragments.English.Predicates.Verbal.VerbEntry

Equations

• Phenomena.Causation.ThickThin.V.switch = Fragments.English.Predicates.Verbal.switch

structure Phenomena.Causation.ThickThin.ThickThinEntryextends Fragments.English.Predicates.Verbal.VerbEntry : Type

A single verb entry from Table 3, extending a Fragment VerbEntry. The Levin class, verb form, root profile, etc. are all inherited from the Fragment entry — only the @cite{martin-rose-nichols-2025} annotations are new.

• form : String
• complementType : ComplementType
• subjectEntailments : Option ArgumentStructure.EntailmentProfile.EntailmentProfile
• objectEntailments : Option ArgumentStructure.EntailmentProfile.EntailmentProfile
• controlType : ControlType
• altComplementType : Option ComplementType
• altControlType : ControlType
• unaccusative : Bool
• voiceType : Option VoiceType
• passivizable : Bool
• implicitObj : Option ImplicitInterp
• implicitGoal : Option ImplicitInterp
• speechActVerb : Bool
• vendlerClass : Option Features.VendlerClass
• degreeAchievementScale : Option Features.DegreeAchievement.DegreeAchievementScale
• verbIncClass : Option Aspect.Incremental.VerbIncClass
• presupType : Option PresupTriggerType
• postsupType : Option PostsupType
• projectionBehavior : Option ProjectionBehavior
• selectsDimension : Option Features.Dimension.Dimension
• cosType : Option Features.ChangeOfState.CoSType
• implicative : Option Features.Implicative
• causative : Option Features.Causative
• causalSource : Option Causation.Psych.CausalSource
• opaqueContext : Bool
• attitude : Option Features.Attitude
• takesQuestionBase : Bool
• complementSig : Option Core.NaturalLogic.EntailmentSig
• senseTag : SenseTag
• levinClass : Option LevinClass
• rootProfile : Option Roots.RootProfile
• form3sg : String
• formPast : String
• formPastPart : String
• formPresPart : String
• isRegular : Bool
• alternating : Bool

  Participates in causative/anticausative alternation

• thick : Bool

  Thick = encodes manner of causing (rejects abstract subjects in physical sense)

• asr : Bool

  Compatible with strong adjectival resultatives

• omissionSubjects : Bool

  Compatible with omission or quality-denoting subjects

• thickThinClass : Semantics.Causation.ProductionDependence.ThickThinClass

  Thick/thin classification from theory

@[implicit_reducible]

instance Phenomena.Causation.ThickThin.instReprThickThinEntry : Repr ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.instReprThickThinEntry = { reprPrec := Phenomena.Causation.ThickThin.instReprThickThinEntry.repr }

def Phenomena.Causation.ThickThin.instReprThickThinEntry.repr : ThickThinEntry → ℕ → Std.Format

Equations

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

def Phenomena.Causation.ThickThin.ThickThinEntry.verb (e : ThickThinEntry) : String

Verb form (convenience accessor).

Equations

• e.verb = e.form

Table 3 data (representative subset)

We include all 13 thick verbs and a representative set of thin verbs covering the key patterns. Numbers in comments refer to Table 3 rows.

def Phenomena.Causation.ThickThin.activate : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.activate = { toVerbEntry := Phenomena.Causation.ThickThin.V.activate, alternating := true, thick := false, asr := false, omissionSubjects := true }

def Phenomena.Causation.ThickThin.affect : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.affect = { toVerbEntry := Phenomena.Causation.ThickThin.V.affect, alternating := false, thick := false, asr := false, omissionSubjects := true }

def Phenomena.Causation.ThickThin.change : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.change = { toVerbEntry := Phenomena.Causation.ThickThin.V.change, alternating := true, thick := false, asr := false, omissionSubjects := true }

def Phenomena.Causation.ThickThin.damage : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.damage = { toVerbEntry := Phenomena.Causation.ThickThin.V.damage, alternating := false, thick := false, asr := false, omissionSubjects := true }

def Phenomena.Causation.ThickThin.destroy : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.destroy = { toVerbEntry := Phenomena.Causation.ThickThin.V.destroy, alternating := false, thick := false, asr := false, omissionSubjects := true }

def Phenomena.Causation.ThickThin.eliminate : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.eliminate = { toVerbEntry := Phenomena.Causation.ThickThin.V.eliminate, alternating := false, thick := false, asr := false, omissionSubjects := true }

def Phenomena.Causation.ThickThin.hurt : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.hurt = { toVerbEntry := Phenomena.Causation.ThickThin.V.hurt, alternating := false, thick := false, asr := false, omissionSubjects := true }

def Phenomena.Causation.ThickThin.kill : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.kill = { toVerbEntry := Phenomena.Causation.ThickThin.V.kill, alternating := false, thick := false, asr := false, omissionSubjects := true }

def Phenomena.Causation.ThickThin.restore : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.restore = { toVerbEntry := Phenomena.Causation.ThickThin.V.restore, alternating := false, thick := false, asr := false, omissionSubjects := true }

def Phenomena.Causation.ThickThin.start : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.start = { toVerbEntry := Phenomena.Causation.ThickThin.V.start, alternating := true, thick := false, asr := false, omissionSubjects := true }

def Phenomena.Causation.ThickThin.stop : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.stop = { toVerbEntry := Phenomena.Causation.ThickThin.V.stop, alternating := true, thick := false, asr := false, omissionSubjects := false }

def Phenomena.Causation.ThickThin.trigger : ThickThinEntry

Equations

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

def Phenomena.Causation.ThickThin.break_ : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.break_ = { toVerbEntry := Phenomena.Causation.ThickThin.V.break_, alternating := true, thick := true, asr := true, omissionSubjects := false }

def Phenomena.Causation.ThickThin.burn : ThickThinEntry

Equations

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

def Phenomena.Causation.ThickThin.bury : ThickThinEntry

Equations

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

def Phenomena.Causation.ThickThin.cut : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.cut = { toVerbEntry := Phenomena.Causation.ThickThin.V.cut, alternating := false, thick := true, asr := true, omissionSubjects := false }

def Phenomena.Causation.ThickThin.drop : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.drop = { toVerbEntry := Phenomena.Causation.ThickThin.V.drop, alternating := true, thick := true, asr := true, omissionSubjects := false }

def Phenomena.Causation.ThickThin.lift : ThickThinEntry

Equations

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

def Phenomena.Causation.ThickThin.lock : ThickThinEntry

Equations

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

def Phenomena.Causation.ThickThin.melt : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.melt = { toVerbEntry := Phenomena.Causation.ThickThin.V.melt, alternating := true, thick := true, asr := true, omissionSubjects := false }

def Phenomena.Causation.ThickThin.mix : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.mix = { toVerbEntry := Phenomena.Causation.ThickThin.V.mix, alternating := true, thick := true, asr := true, omissionSubjects := false }

def Phenomena.Causation.ThickThin.shut : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.shut = { toVerbEntry := Phenomena.Causation.ThickThin.V.shut, alternating := true, thick := true, asr := true, omissionSubjects := false }

def Phenomena.Causation.ThickThin.spread : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.spread = { toVerbEntry := Phenomena.Causation.ThickThin.V.spread, alternating := true, thick := true, asr := true, omissionSubjects := false }

def Phenomena.Causation.ThickThin.stretch : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.stretch = { toVerbEntry := Phenomena.Causation.ThickThin.V.stretch, alternating := true, thick := true, asr := true, omissionSubjects := false }

def Phenomena.Causation.ThickThin.switch : ThickThinEntry

Equations

• Phenomena.Causation.ThickThin.switch = { toVerbEntry := Phenomena.Causation.ThickThin.V.switch, alternating := true, thick := true, asr := true, omissionSubjects := false }

Per-datum verification theorems

theorem Phenomena.Causation.ThickThin.break_is_thick : break_.thick = true

theorem Phenomena.Causation.ThickThin.burn_is_thick : burn.thick = true

theorem Phenomena.Causation.ThickThin.bury_is_thick : bury.thick = true

theorem Phenomena.Causation.ThickThin.melt_is_thick : melt.thick = true

theorem Phenomena.Causation.ThickThin.cut_is_thick : cut.thick = true

theorem Phenomena.Causation.ThickThin.kill_is_thin : kill.thick = false

theorem Phenomena.Causation.ThickThin.destroy_is_thin : destroy.thick = false

theorem Phenomena.Causation.ThickThin.damage_is_thin : damage.thick = false

theorem Phenomena.Causation.ThickThin.change_is_thin : change.thick = false

theorem Phenomena.Causation.ThickThin.bury_thick_no_asr : bury.thick = true ∧ bury.asr = false

theorem Phenomena.Causation.ThickThin.bury_is_thick_state : bury.thickThinClass = Semantics.Causation.ProductionDependence.ThickThinClass.thickState

theorem Phenomena.Causation.ThickThin.break_verb : break_.verb = "break"

theorem Phenomena.Causation.ThickThin.kill_verb : kill.verb = "kill"

theorem Phenomena.Causation.ThickThin.destroy_verb : destroy.verb = "destroy"

theorem Phenomena.Causation.ThickThin.break_levin : break_.levinClass = some Semantics.Lexical.LevinClass.break_

theorem Phenomena.Causation.ThickThin.kill_levin : kill.levinClass = some Semantics.Lexical.LevinClass.murder

theorem Phenomena.Causation.ThickThin.destroy_levin : destroy.levinClass = some Semantics.Lexical.LevinClass.destroy

theorem Phenomena.Causation.ThickThin.cut_levin : cut.levinClass = some Semantics.Lexical.LevinClass.cut

theorem Phenomena.Causation.ThickThin.burn_levin : burn.levinClass = some Semantics.Lexical.LevinClass.otherCoS

Bridge to ThickThinClass

Verify that the data entries' classifications match the theory.

theorem Phenomena.Causation.ThickThin.break_production_constraint : Semantics.Causation.ProductionDependence.productionConstraint break_.thickThinClass = Semantics.Causation.ProductionDependence.CausationType.production

Thick manner verbs have the production constraint.

theorem Phenomena.Causation.ThickThin.kill_dependence : Semantics.Causation.ProductionDependence.productionConstraint kill.thickThinClass = Semantics.Causation.ProductionDependence.CausationType.dependence

Thin verbs default to dependence.

theorem Phenomena.Causation.ThickThin.bury_production_constraint : Semantics.Causation.ProductionDependence.productionConstraint bury.thickThinClass = Semantics.Causation.ProductionDependence.CausationType.production

Bury (thick state) also has the production constraint.

theorem Phenomena.Causation.ThickThin.break_asr_theory : break_.thickThinClass.strongASRCompatible = true

Thick manner verbs are ASR-compatible per the theory.

theorem Phenomena.Causation.ThickThin.bury_asr_theory : bury.thickThinClass.strongASRCompatible = false

Thick state verbs are NOT ASR-compatible per the theory.

theorem Phenomena.Causation.ThickThin.kill_asr_theory : kill.thickThinClass.strongASRCompatible = false

Thin verbs are NOT ASR-compatible per the theory.

Bridge to @cite{levin-1993} classes

The thick/thin distinction cross-cuts Levin classes: verbs in the same general domain (change of state, causation) can be thick or thin. The difference is whether the verb specifies manner of causing.

theorem Phenomena.Causation.ThickThin.break_destroy_same_components : Semantics.Lexical.LevinClass.break_.meaningComponents.changeOfState = Semantics.Lexical.LevinClass.destroy.meaningComponents.changeOfState ∧ Semantics.Lexical.LevinClass.break_.meaningComponents.causation = Semantics.Lexical.LevinClass.destroy.meaningComponents.causation

Break (thick) and destroy (thin) both have CoS + causation in their Levin meaning components. The thick/thin split is orthogonal to the basic meaning component profile.

theorem Phenomena.Causation.ThickThin.break_class_predicts_alternation : Semantics.Lexical.LevinClass.break_.participatesIn Semantics.Lexical.DiathesisAlternation.causativeInchoative = true

Thick manner verbs belong to Levin classes that predict the causative alternation.

theorem Phenomena.Causation.ThickThin.cut_class_rich_alternation : Semantics.Lexical.LevinClass.cut.participatesIn Semantics.Lexical.DiathesisAlternation.causativeInchoative = false ∧ Semantics.Lexical.LevinClass.cut.participatesIn Semantics.Lexical.DiathesisAlternation.conative = true ∧ Semantics.Lexical.LevinClass.cut.participatesIn Semantics.Lexical.DiathesisAlternation.bodyPartPossessorAscension = true

Cut (thick) is in a class that predicts conative and BPPA alternations. Unlike break, cut does NOT participate in causative/inchoative because instrument specification blocks the inchoative.

theorem Phenomena.Causation.ThickThin.destroy_class_vs_empirical : Semantics.Lexical.LevinClass.destroy.participatesIn Semantics.Lexical.DiathesisAlternation.causativeInchoative = true ∧ destroy.alternating = false

Destroy (thin) is also predicted to participate in causative alternation by its meaning components, but empirically it does not alternate. This shows the limits of meaning-component prediction.

theorem Phenomena.Causation.ThickThin.kill_class_vs_empirical : Semantics.Lexical.LevinClass.murder.participatesIn Semantics.Lexical.DiathesisAlternation.causativeInchoative = true ∧ kill.alternating = false

Kill (thin, murder class) is predicted to participate in causative alternation but empirically does not alternate.

def Phenomena.Causation.ThickThin.allEntries : List ThickThinEntry

All ThickThin verb entries (for aggregate bridge theorems).

Equations

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

theorem Phenomena.Causation.Compare.causative_has_agentive_voice : Features.EventStructure.Template.accomplishment.HasExternalCauser ∧ Minimalist.isCausative [Minimalist.VerbHead.vDO, Minimalist.VerbHead.vCAUSE, Minimalist.VerbHead.vGO, Minimalist.VerbHead.vBE] = true ∧ Minimalist.voiceAgent.AssignsTheta

Causative structure (transitive alternant of a change-of-state verb) pairs an external causer with agentive Voice. The full head-list [vDO, vCAUSE, vGO, vBE] matches accomplishment semantically.

theorem Phenomena.Causation.Compare.anticausative_has_nonthematic_voice : ¬Features.EventStructure.Template.achievement.HasExternalCauser ∧ Minimalist.isInchoative [Minimalist.VerbHead.vCAUSE, Minimalist.VerbHead.vGO, Minimalist.VerbHead.vBE] = true ∧ ¬Minimalist.voiceAnticausative.HasSemantics

Anticausative structure (intransitive alternant of a change-of-state verb) drops the external argument while keeping CAUSE. The head-list [vCAUSE, vGO, vBE] is what VerbalDecomposition calls inchoative, contra @cite{martin-rose-nichols-2025}'s prose framing of "achievements".

theorem Phenomena.Causation.Compare.thick_is_production : Semantics.Causation.ProductionDependence.productionConstraint Semantics.Causation.ProductionDependence.ThickThinClass.thickManner = Semantics.Causation.ProductionDependence.CausationType.production

Thick manner verbs have the production constraint.

theorem Phenomena.Causation.Compare.thin_is_dependence : Semantics.Causation.ProductionDependence.productionConstraint Semantics.Causation.ProductionDependence.ThickThinClass.thin = Semantics.Causation.ProductionDependence.CausationType.dependence

Thin verbs have the dependence constraint.

theorem Phenomena.Causation.Compare.production_aligns_agentive : Semantics.Causation.ProductionDependence.productionConstraint Semantics.Causation.ProductionDependence.ThickThinClass.thickManner = Semantics.Causation.ProductionDependence.CausationType.production ∧ Minimalist.voiceAgent.AssignsTheta ∧ Minimalist.voiceAgent.HasD

Production causation (thick verbs) aligns with agentive Voice: both require a concrete external argument.

theorem Phenomena.Causation.Compare.alternation_is_voice_alternation : [Minimalist.VerbHead.vDO, Minimalist.VerbHead.vCAUSE, Minimalist.VerbHead.vGO, Minimalist.VerbHead.vBE] = [Minimalist.VerbHead.vDO, Minimalist.VerbHead.vCAUSE, Minimalist.VerbHead.vGO, Minimalist.VerbHead.vBE] ∧ Minimalist.voiceAgent.AssignsTheta ∧ ¬Minimalist.voiceAnticausative.AssignsTheta

The causative alternation IS a Voice alternation: transitive = agentive Voice, anticausative = non-thematic Voice. The VP-internal structure [vCAUSE, vGO, vBE] is shared; causative just prepends vDO.

theorem Phenomena.Causation.Compare.thick_mostly_alternate_bridge : have thickVerbs := List.filter (fun (x : ThickThin.ThickThinEntry) => x.thick) ThickThin.allEntries; have altThick := List.filter (fun (x : ThickThin.ThickThinEntry) => x.alternating) thickVerbs; altThick.length * 100 / thickVerbs.length ≥ 70

Most thick verbs alternate (have both Voice variants).

theorem Phenomena.Causation.Compare.break_alternation : ThickThin.break_.alternating = true ∧ ThickThin.break_.thick = true

Alternating thick verbs: the transitive form has agentive Voice, the anticausative has non-thematic Voice. Example: break.

• "John broke the vase" = Voice_AG + vDO + vCAUSE + vGO + vBE
• "The vase broke" = Voice_∅ + vCAUSE + vGO + vBE

theorem Phenomena.Causation.Compare.cut_no_anticausative : ThickThin.cut.alternating = false ∧ ThickThin.cut.thick = true

Non-alternating thick verbs (cut) only have the agentive Voice form.