Martin, Rose and Nichols (2025): Burning facts: thick and thin causatives #
This file formalizes the division of English lexical causatives into thick and thin verbs. A thick causative such as burn, break or bury conveys a way of bringing the change about; a thin causative such as kill, destroy or change names the result state alone. Rose, Sievers and Nichols distinguish two concepts of causation, production, the transfer of a conserved physical quantity from cause to effect, and dependence, the counterfactual dependence of the effect on the cause. Production entails dependence, and only a physical entity produces, so an absence, a fact or a degree is at most a dependence cause. A thick causative used transitively in its physical sense conveys production and so rejects a subject with abstract reference (the lack of sunscreen burned her skin) that a thin causative accepts (the lack of water killed my plants). Martin, Rose and Nichols derive this production constraint from the competition between the lexical causative and periphrastic cause: the manner information makes production the salient reading, the lexical form takes the more specific meaning and leaves dependence to cause, the division of pragmatic labour that weak bidirectional optimality theory yields. The constraint lapses where the competition does, in the abstract sense and in the anticausative with a causer phrase, and it is the positive form of Wolff's directness constraint: a subject that is only a necessary condition for the transference cause (the flat tire cracked the axle) fails a thick verb but not a thin one.
A corpus survey of thirty-seven frequent causative verbs records whether each alternates, is thick, occurs with an adjectival strong resultative (break open), and occurs with an omission or quality subject in its concrete sense. The thick verbs are, except for bury, Embick's causative manner verbs, the result verbs found with strong resultatives, and the thin verbs found with strong resultatives (set, trigger, turn) lexicalize no result state of their own. Bury is thick through a result state that reveals the process producing it rather than through an event predicate.
Main definitions #
CauseConcepts— production and dependence over a domain of causal relata, with the postulates that production entails dependence and that only physical relata produce.Reading,Reading.holds— the two readings of CAUSE and their truth conditions.Form,tableau— the competition between the lexical causative, periphrastic cause and the anticausative with a causer phrase, as a bidirectional optimality tableau.Sample— the thirty-seven verbs of the survey,Sample.entrytheir fragment entries, and the columnsalternating,thick,strongResultative,resultless,omissionSubject.causativeMannerVerbs,thickState— Embick's class and the thick verbs outside it.
Main results #
production_constraint— with production promoted, the lexical form conveys production and cause dependence;lexical_dependence_of_not_promoted,anticausative_readings— the dependence reading survives where nothing promotes production.not_holds_of_not_physical— under the production constraint no subject with abstract reference satisfies the lexical causative;sunburnandaxleare the paper's contrasts.causativeMannerVerbs_subset_thick,thickState_eq,strongResultative_sdiff_thick— the correlation between thickness and strong resultatives.thin_without_omission,thick_inter_omissionSubject— omission subjects in the survey.alternating_iff_hasCausativeAlternation— the alternation column agrees with the fragment's diatheses.
Implementation notes #
The proportions the paper reports (twelve of thirteen thick verbs with a strong resultative, ten of thirteen thick and twelve of twenty-four thin verbs alternating) are left to prose; the theorems state the correlations with their named exceptions. Table 3 lists melt among the thick verbs found with an omission subject, though the discussion names only burn, lift and lock; the table is followed. The survey's annotators judged cool non-alternating, against the fragment, which gives it an intransitive with the patient as subject.
References #
Two concepts of causation #
A domain of causal relata with the two concepts of causation of Rose, Sievers and Nichols. Production is the transfer of a conserved physical quantity from cause to effect, and dependence the counterfactual dependence of the effect on the cause; production entails dependence, and only a physical relatum produces.
- Physical : E → Prop
The relatum is a physical, energy-bearing entity.
- Produces : E → E → Prop
The cause produces the effect.
- Depends : E → E → Prop
The effect counterfactually depends on the cause.
Instances For
A non-physical relatum, an absence, a fact or a degree, produces nothing.
The two readings of the operator CAUSE.
Instances For
Equations
- MartinRoseNichols2025.instDecidableEqReading x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
The truth condition of a causative statement with subject s and object o under a
reading.
Equations
- MartinRoseNichols2025.Reading.holds C MartinRoseNichols2025.Reading.production x✝¹ x✝ = C.Produces x✝¹ x✝
- MartinRoseNichols2025.Reading.holds C MartinRoseNichols2025.Reading.dependence x✝¹ x✝ = C.Depends x✝¹ x✝
Instances For
Production is the stronger reading.
The competition between covert and overt CAUSE #
Equations
- MartinRoseNichols2025.instDecidableEqForm x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Equations
- MartinRoseNichols2025.instReprForm = { reprPrec := MartinRoseNichols2025.instReprForm.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
The markedness constraint: the periphrastic form is marked.
Equations
- MartinRoseNichols2025.markedness p = if p.1 = MartinRoseNichols2025.Form.periphrastic then 1 else 0
Instances For
The production constraint: when the verb's manner information promotes production, the dependence reading is marked.
Equations
- MartinRoseNichols2025.production promotes p = if promotes = true ∧ p.2 = MartinRoseNichols2025.Reading.dependence then 1 else 0
Instances For
The transitive forms expressing a causal relation between a subject and an object.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The anticausative with a causer phrase competes with no other form.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The production constraint. When a thick causative in its physical sense promotes production, the lexical form takes it and periphrastic cause is left with dependence.
Under the production constraint the lexical form has only the production reading.
Under the production constraint periphrastic cause has only the dependence reading.
Where nothing promotes production, in the abstract sense or with a thin verb, the lexical form keeps the dependence reading.
The anticausative with a causer phrase has both readings.
Under the production constraint a subject with abstract reference falsifies the lexical causative.
Witnesses #
Equations
- MartinRoseNichols2025.instDecidableEqSunburn x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
Equations
- One or more equations did not get rendered due to their size.
Instances For
The sun burns the skin, and the lack of sunscreen, an absence, is a dependence cause of the burn only.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The sun burned her skin holds under the production reading.
The lack of sunscreen burned her skin fails under every reading the production constraint leaves the lexical form.
The lack of sunscreen caused her skin to burn holds under the reading left to cause.
Equations
- MartinRoseNichols2025.instDecidableEqAxle x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- MartinRoseNichols2025.instReprAxle = { reprPrec := MartinRoseNichols2025.instReprAxle.repr }
Driving on a flat tire cracks the axle. The driving transfers force to the axle, and the flat tire is a necessary condition for the driving to do so; every relatum is physical.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The driving cracked the axle holds, since a production cause satisfies both readings.
The flat tire damaged the axle holds under the thin verb's dependence reading.
The flat tire cracked the axle fails, since the tire is physical but produces nothing; this is Wolff's directness constraint in its positive form as production.
The corpus survey #
The thirty-seven verbs of the survey, in the order of Table 3.
- activate : Sample
- affect : Sample
- change : Sample
- close : Sample
- cool : Sample
- damage : Sample
- destroy : Sample
- dry : Sample
- eliminate : Sample
- enhance : Sample
- extend : Sample
- hurt : Sample
- kill : Sample
- lower : Sample
- open_ : Sample
- put : Sample
- restore : Sample
- set_ : Sample
- slow : Sample
- start : Sample
- stop : Sample
- trigger : Sample
- turn : Sample
- wakeUp : Sample
- break_ : Sample
- bury : Sample
- burn : Sample
- cut : Sample
- drop : Sample
- lift : Sample
- lock : Sample
- melt : Sample
- mix : Sample
- shut : Sample
- spread : Sample
- stretch : Sample
- switch : Sample
Instances For
Equations
- MartinRoseNichols2025.instDecidableEqSample x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
The fragment entry of each verb.
Equations
- MartinRoseNichols2025.Sample.activate.entry = English.Verbs.activate
- MartinRoseNichols2025.Sample.affect.entry = English.Verbs.affect
- MartinRoseNichols2025.Sample.change.entry = English.Verbs.change
- MartinRoseNichols2025.Sample.close.entry = English.Verbs.close
- MartinRoseNichols2025.Sample.cool.entry = English.Verbs.cool
- MartinRoseNichols2025.Sample.damage.entry = English.Verbs.damage
- MartinRoseNichols2025.Sample.destroy.entry = English.Verbs.destroy
- MartinRoseNichols2025.Sample.dry.entry = English.Verbs.dry
- MartinRoseNichols2025.Sample.eliminate.entry = English.Verbs.eliminate
- MartinRoseNichols2025.Sample.enhance.entry = English.Verbs.enhance
- MartinRoseNichols2025.Sample.extend.entry = English.Verbs.extend
- MartinRoseNichols2025.Sample.hurt.entry = English.Verbs.hurt
- MartinRoseNichols2025.Sample.kill.entry = English.Verbs.kill
- MartinRoseNichols2025.Sample.lower.entry = English.Verbs.lower
- MartinRoseNichols2025.Sample.open_.entry = English.Verbs.open_
- MartinRoseNichols2025.Sample.put.entry = English.Verbs.put
- MartinRoseNichols2025.Sample.restore.entry = English.Verbs.restore
- MartinRoseNichols2025.Sample.set_.entry = English.Verbs.set_
- MartinRoseNichols2025.Sample.slow.entry = English.Verbs.slow
- MartinRoseNichols2025.Sample.start.entry = English.Verbs.start
- MartinRoseNichols2025.Sample.stop.entry = English.Verbs.stop
- MartinRoseNichols2025.Sample.trigger.entry = English.Verbs.trigger
- MartinRoseNichols2025.Sample.turn.entry = English.Verbs.turn
- MartinRoseNichols2025.Sample.wakeUp.entry = English.Verbs.wakeUp
- MartinRoseNichols2025.Sample.break_.entry = English.Verbs.break_
- MartinRoseNichols2025.Sample.bury.entry = English.Verbs.bury
- MartinRoseNichols2025.Sample.burn.entry = English.Verbs.burn
- MartinRoseNichols2025.Sample.cut.entry = English.Verbs.cut
- MartinRoseNichols2025.Sample.drop.entry = English.Verbs.drop
- MartinRoseNichols2025.Sample.lift.entry = English.Verbs.lift
- MartinRoseNichols2025.Sample.lock.entry = English.Verbs.lock
- MartinRoseNichols2025.Sample.melt.entry = English.Verbs.melt
- MartinRoseNichols2025.Sample.mix.entry = English.Verbs.mix
- MartinRoseNichols2025.Sample.shut.entry = English.Verbs.shut
- MartinRoseNichols2025.Sample.spread.entry = English.Verbs.spread
- MartinRoseNichols2025.Sample.stretch.entry = English.Verbs.stretch
- MartinRoseNichols2025.Sample.switch.entry = English.Verbs.switch
Instances For
The verbs the survey's annotators judged to enter the causative alternation.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The thick verbs, those judged to specify a way of causing, confirmed for all but lift and mix by a dictionary's manner specification.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The verbs found with an adjectival strong resultative.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The verbs that lexicalize no result state of their own, whose resultative is obligatory (set me free); the table's starred cells.
Equations
Instances For
The verbs found with an omission or quality subject in their concrete sense.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Embick's causative manner verbs, the result verbs found with strong resultatives.
Equations
Instances For
The thick verbs that are not causative manner verbs, thick through their result state.
Equations
Instances For
Every causative manner verb is thick.
Bury is the one thick verb that is not a causative manner verb.
The thin verbs found with strong resultatives are exactly the resultless ones.
Close and lower are the thin verbs not found with an omission or quality subject.
The thick verbs found with an omission subject, each under a reinterpretation of the subject as a productive cause.
The alternation column agrees with the fragment's diatheses except on cool.
The position of a verb's root on the paper's analysis. The root of a causative manner verb
is a predicate of the causing event adjoined to v, and any other root is a predicate of the
result state in the complement of v.
Equations
Instances For
Only a thick verb has an adjoined root.