Diathesis Alternation Data

@cite{levin-1993}

Theory-neutral empirical data on diathesis alternation participation.

The four verbs break, cut, hit, touch form a canonical diagnostic quadruple (@cite{levin-1993}:5–10): each participates in a distinct subset of the causative/inchoative, middle, conative, and body-part possessor ascension alternations. Additional verbs demonstrate the locative (spray/load) and dative (give/send) alternations.

Verb	Class	CI	Mid	Con	BPPA
break	45.1	✓	✓	✗	✗
cut	21.1	✗	✓	✓	✓
hit	18.1	✗	✗	✓	✓
touch	20	✗	✗	✗	✓

inductive Phenomena.ArgumentStructure.DiathesisAlternations.Data.AlternationResult : Type

Result of testing whether a verb participates in a diathesis alternation.

• participates : AlternationResult
• blocked : AlternationResult
• marginal : AlternationResult

instance Phenomena.ArgumentStructure.DiathesisAlternations.Data.instDecidableEqAlternationResult : DecidableEq AlternationResult

Equations

• Phenomena.ArgumentStructure.DiathesisAlternations.Data.instDecidableEqAlternationResult x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Phenomena.ArgumentStructure.DiathesisAlternations.Data.instReprAlternationResult : Repr AlternationResult

Equations

• Phenomena.ArgumentStructure.DiathesisAlternations.Data.instReprAlternationResult = { reprPrec := Phenomena.ArgumentStructure.DiathesisAlternations.Data.instReprAlternationResult.repr }

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.instReprAlternationResult.repr : AlternationResult → Nat → Std.Format

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.instBEqAlternationResult.beq : AlternationResult → AlternationResult → Bool

Equations

• Phenomena.ArgumentStructure.DiathesisAlternations.Data.instBEqAlternationResult.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Phenomena.ArgumentStructure.DiathesisAlternations.Data.instBEqAlternationResult : BEq AlternationResult

Equations

• Phenomena.ArgumentStructure.DiathesisAlternations.Data.instBEqAlternationResult = { beq := Phenomena.ArgumentStructure.DiathesisAlternations.Data.instBEqAlternationResult.beq }

structure Phenomena.ArgumentStructure.DiathesisAlternations.Data.AlternationDatum : Type

A single alternation judgment for a verb–alternation pair.

• verbForm : String
• verbClass : LevinClass
• alternation : DiathesisAlternation
• result : AlternationResult
• sentence : String
• variant : Option String
• note : String

instance Phenomena.ArgumentStructure.DiathesisAlternations.Data.instReprAlternationDatum : Repr AlternationDatum

Equations

• Phenomena.ArgumentStructure.DiathesisAlternations.Data.instReprAlternationDatum = { reprPrec := Phenomena.ArgumentStructure.DiathesisAlternations.Data.instReprAlternationDatum.repr }

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.instReprAlternationDatum.repr : AlternationDatum → Nat → Std.Format

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.instBEqAlternationDatum.beq : AlternationDatum → AlternationDatum → Bool

Equations

• One or more equations did not get rendered due to their size.
• Phenomena.ArgumentStructure.DiathesisAlternations.Data.instBEqAlternationDatum.beq x✝¹ x✝ = false

instance Phenomena.ArgumentStructure.DiathesisAlternations.Data.instBEqAlternationDatum : BEq AlternationDatum

Equations

• Phenomena.ArgumentStructure.DiathesisAlternations.Data.instBEqAlternationDatum = { beq := Phenomena.ArgumentStructure.DiathesisAlternations.Data.instBEqAlternationDatum.beq }

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.ci_break : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.mid_break : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.con_break : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.bppa_break : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.ci_cut : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.mid_cut : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.con_cut : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.bppa_cut : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.ci_hit : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.mid_hit : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.con_hit : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.bppa_hit : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.ci_touch : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.mid_touch : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.con_touch : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.bppa_touch : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.con_push : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.loc_spray : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.loc_load : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.dat_give : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.dat_send : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.ben_carve : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.ss_radiate : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.mp_carve : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.uo_eat : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.uo_devour : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.uro_meet : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.ti_develop : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.ti_appear : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.li_live : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.is_break : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.is_eat : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.ia_run : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.ubpo_wave : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.uro_wash : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.tt_turn : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.way_elbow : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.co_laugh : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.co_run : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.dp_run : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.vp_break : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.vp_give : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.vp_eat : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.vp_see : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.vp_measure : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.pp_sleep : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.pp_talk : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.sw_swarm : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.sw_crawl : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.ia_walk : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.ia_appear : AlternationDatum

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.canonicalData : List AlternationDatum

The canonical diagnostic quadruple.

Equations

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

def Phenomena.ArgumentStructure.DiathesisAlternations.Data.allData : List AlternationDatum

All alternation data including class-specific alternations.

Equations

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