Levin (1993): English Verb Classes and Alternations #
This file formalizes Levin's diagnostic: a verb's participation in diathesis
alternations follows from its meaning, so verbs fall into semantically coherent classes that
share an alternation profile (ArgumentStructure.LevinClass.Participates). The book's
opening quadruple break, cut, hit, touch takes four distinct profiles across the
causative/inchoative, middle, conative, and body-part possessor ascension alternations, one
class each (quadruple_profiles_distinct). The Introduction explains the profiles by four
components of verb meaning, "motion, contact, change of state, and causation"
(MeaningComponent), to which each of the four alternations is sensitive (sensitivity): the
body-part possessor ascension alternation needs contact and the conative contact and motion, the
middle causation of a change of state, and the causative/inchoative a pure change of state, one
whose meaning does not specify how the change comes about. Only the last condition is lost when a
meaning involves more components (isUpperSet_sensitivity,
not_isUpperSet_sensitivity_causativeInchoative), and the components of the Introduction's
characterizations of the four verbs meet the conditions exactly where the class pages of Part II
attest the alternations (quadruple_mem_sensitivity_of_participates,
quadruple_prediction_matches). Every
categorical alternation judgment among the book's examples in Data/Examples/Levin1993.json
agrees with the profile of the verb's class (participation_matches_profile). The
alternations that pair two argument frames are frame-pair schemas (schema?), which relate two
diatheses of a verb when the verb's participants move as the schema says; the causative/inchoative
and induced action alternations, which relate the same diatheses, are told apart by the causee's
volition (Shows, run_shatter), and every English fragment verb Levin lists has a class whose
page it realizes (shows_class_alternations).
Implementation notes #
Rows record the verb's class by the book's section number and the alternation by name;
classOf and alternationOf read them into the substrate's enumerations. A row's
participation in its alternation is its judgment: an acceptable row attests the alternation, a
starred row denies it, and a marginal row is categorical in neither direction.
The Introduction's conditions are necessary ones: a verb shows the body-part possessor ascension alternation "only if its meaning involves the notion of contact" (p. 8), and the causative/inchoative "is found only with verbs of pure change of state" (p. 10). Each is an interval of sets of components, and an alternation for which the Introduction states no condition has the whole lattice. A pure change of state may carry a cause, as break does "when transitive" (p. 9), so the causative/inchoative's interval runs from the change of state to the change of state with its cause.
A causee's entailments are the entry's own or else those its classes' templates agree on
(Verb.participantProfile?). Where neither is recorded the causee meets no condition, so a verb
shows the causative/inchoative or the induced action alternation only where Levin's condition is
verified.
References #
The alternation named by a row's tag.
Equations
- Levin1993.alternationOfString "causativeInchoative" = some ArgumentStructure.DiathesisAlternation.causativeInchoative
- Levin1993.alternationOfString "inducedAction" = some ArgumentStructure.DiathesisAlternation.inducedAction
- Levin1993.alternationOfString "middle" = some ArgumentStructure.DiathesisAlternation.middle
- Levin1993.alternationOfString "conative" = some ArgumentStructure.DiathesisAlternation.conative
- Levin1993.alternationOfString "substanceSource" = some ArgumentStructure.DiathesisAlternation.substanceSource
- Levin1993.alternationOfString "unspecifiedObject" = some ArgumentStructure.DiathesisAlternation.unspecifiedObject
- Levin1993.alternationOfString "understoodBodyPartObject" = some ArgumentStructure.DiathesisAlternation.understoodBodyPartObject
- Levin1993.alternationOfString "understoodReflexiveObject" = some ArgumentStructure.DiathesisAlternation.understoodReflexiveObject
- Levin1993.alternationOfString "understoodReciprocalObject" = some ArgumentStructure.DiathesisAlternation.understoodReciprocalObject
- Levin1993.alternationOfString "dative" = some ArgumentStructure.DiathesisAlternation.dative
- Levin1993.alternationOfString "benefactive" = some ArgumentStructure.DiathesisAlternation.benefactive
- Levin1993.alternationOfString "locative" = some ArgumentStructure.DiathesisAlternation.locative
- Levin1993.alternationOfString "bodyPartPossessorAscension" = some ArgumentStructure.DiathesisAlternation.bodyPartPossessorAscension
- Levin1993.alternationOfString "swarm" = some ArgumentStructure.DiathesisAlternation.swarm
- Levin1993.alternationOfString "materialProduct" = some ArgumentStructure.DiathesisAlternation.materialProduct
- Levin1993.alternationOfString "totalTransformation" = some ArgumentStructure.DiathesisAlternation.totalTransformation
- Levin1993.alternationOfString "instrumentSubject" = some ArgumentStructure.DiathesisAlternation.instrumentSubject
- Levin1993.alternationOfString "verbalPassive" = some ArgumentStructure.DiathesisAlternation.verbalPassive
- Levin1993.alternationOfString "prepositionalPassive" = some ArgumentStructure.DiathesisAlternation.prepositionalPassive
- Levin1993.alternationOfString "thereInsertion" = some ArgumentStructure.DiathesisAlternation.thereInsertion
- Levin1993.alternationOfString "locativeInversion" = some ArgumentStructure.DiathesisAlternation.locativeInversion
- Levin1993.alternationOfString "cognateObject" = some ArgumentStructure.DiathesisAlternation.cognateObject
- Levin1993.alternationOfString "wayConstruction" = some ArgumentStructure.DiathesisAlternation.wayConstruction
- Levin1993.alternationOfString "resultative" = some ArgumentStructure.DiathesisAlternation.resultative
- Levin1993.alternationOfString "directionalPhrase" = some ArgumentStructure.DiathesisAlternation.directionalPhrase
- Levin1993.alternationOfString x✝ = none
Instances For
The class recorded on a row, by the book's section number.
Equations
- Levin1993.classOf e = (e.feature? "levin_class").bind ArgumentStructure.LevinClass.ofNumberString?
Instances For
The alternation recorded on a row.
Equations
- Levin1993.alternationOf e = (e.feature? "alternation").bind Levin1993.alternationOfString
Instances For
Every categorical row whose alternation the class's Part II page tests agrees with the page: the row is acceptable exactly when the alternation is in the class's profile. The passive, the way construction, directional phrases and the swarm alternation are presented in Part One by verb list and not tested on the class pages, so those rows fall outside the check.
The Introduction's quadruple #
break, cut, hit and touch are told apart by the four diagnostic alternations (p. 7), and the Introduction explains the difference by the components of their meanings (pp. 7–10).
A component of verb meaning to which diathesis alternations are sensitive, among "the notions of motion, contact, change of state, and causation" (p. 10).
- motion : MeaningComponent
- contact : MeaningComponent
- changeOfState : MeaningComponent
- causation : MeaningComponent
Instances For
Equations
- Levin1993.instDecidableEqMeaningComponent 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
- Levin1993.instReprMeaningComponent = { reprPrec := Levin1993.instReprMeaningComponent.repr }
The sets of meaning components of the verbs that can show an alternation (p. 10): body-part possessor ascension "is sensitive to the notion of contact", the conative "to both contact and motion", the middle "is found with verbs whose meaning involves causing a change of state", and the causative/inchoative "is found only with verbs of pure change of state".
Equations
- One or more equations did not get rendered due to their size.
- Levin1993.sensitivity ArgumentStructure.DiathesisAlternation.bodyPartPossessorAscension = { fst := {Levin1993.MeaningComponent.contact}, snd := ⊤, fst_le_snd := Levin1993.sensitivity._proof_1 }
- Levin1993.sensitivity x✝ = ⊤
Instances For
Every alternation but the causative/inchoative is open to a verb whose meaning involves more components than one it is open to, as the middle is to verbs of causing a change of state "whether or not their meaning also specifies how this change of state comes about" (p. 10).
The causative/inchoative is not open to a verb that adds a means, such as contact, to a pure change of state (pp. 9–10).
The four diagnostic alternations of the Introduction.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The quadruple takes pairwise distinct profiles over the diagnostic alternations, so it instantiates four verb classes.
The quadruple's classes with the meaning components of the Introduction's characterizations (p. 10): "touch is a pure verb of contact, hit is a verb of contact by motion, cut is a verb of causing a change of state by moving something into contact with the entity that changes state, and break is a pure verb of change of state", with the notion of cause it has "when transitive" (p. 9), since cut and break are "both verbs of causing a change of state" (p. 9).
Equations
- One or more equations did not get rendered due to their size.
Instances For
The Introduction's conditions are necessary on the quadruple: every alternation a class page of Part II attests is open to the class's meaning components.
On the diagnostic alternations the conditions also suffice: the quadruple's meaning components predict the class pages exactly.
Frame-pair schemas of the alternations #
The alternations of Part One as voices, pairs of English argument frames with the slots each participant occupies in them, the preposition fixed where the alternation's definition fixes it: to for the dative, for for the benefactive, at for the conative, with for the with variant of the locative and swarm alternations and for the instrument, from for the substance/source alternation, out of and into for the material/product and total transformation alternations, on for body-part possessor ascension. The locative variants of the locative and swarm alternations fix only that the phrase is spatial. The middle, the passives, the postverbal-subject alternations and the constructions of chapter 7 are not pairs of frames and have no schema.
The frame-pair schema of an alternation, where it has one.
Equations
- One or more equations did not get rendered due to their size.
- Levin1993.schema? ArgumentStructure.DiathesisAlternation.causativeInchoative = some Voice.anticausative
- Levin1993.schema? ArgumentStructure.DiathesisAlternation.inducedAction = some Voice.causative
- Levin1993.schema? ArgumentStructure.DiathesisAlternation.unspecifiedObject = some (Voice.leaveImplicit ArgumentFrame.np 0 (some ImplicitInterp.indef))
- Levin1993.schema? ArgumentStructure.DiathesisAlternation.understoodBodyPartObject = some (Voice.leaveImplicit ArgumentFrame.np 0 (some ImplicitInterp.bodyPart))
- Levin1993.schema? ArgumentStructure.DiathesisAlternation.understoodReflexiveObject = some (Voice.leaveImplicit ArgumentFrame.np 0 (some ImplicitInterp.reflexive))
- Levin1993.schema? ArgumentStructure.DiathesisAlternation.understoodReciprocalObject = some (Voice.leaveImplicit ArgumentFrame.np 0 (some ImplicitInterp.reciprocal))
- Levin1993.schema? ArgumentStructure.DiathesisAlternation.dative = some (Levin1993.schema?.toDoubleObject English.Adpositions.to_)
- Levin1993.schema? ArgumentStructure.DiathesisAlternation.benefactive = some (Levin1993.schema?.toDoubleObject English.Adpositions.for_)
- Levin1993.schema? x✝ = none
Instances For
The dative and benefactive alternations, in which the p phrase becomes the first object.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The causee #
On the links the causative/inchoative and induced action alternations relate the same pairs of diatheses, a transitive whose object is the subject of an intransitive. Levin tells them apart by that participant, the causee: the induced action alternation "differs from the causative/inchoative alternation in that the causee is typically an animate volitional entity" (p. 31), and the verbs of the causative/inchoative alternation are "verbs of change of state or change of position" (p. 30).
A causee of two diatheses is a participant that is the object of one and the subject without an object of the other.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Levin's condition on the causee's entailments asks for a volitional causee in the induced action alternation, and in the causative/inchoative alternation for one that is not volitional and changes state or position.
Equations
- One or more equations did not get rendered due to their size.
- Levin1993.CauseeCondition ArgumentStructure.DiathesisAlternation.inducedAction x✝ = (ArgumentStructure.ProtoRoleFeature.volition ∈ x✝)
- Levin1993.CauseeCondition x✝¹ x✝ = True
Instances For
A verb shows an alternation when the alternation's schema relates two of its diatheses and the profile of each causee, the entry's or its classes', meets the alternation's condition.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
The alternations with a frame-pair schema.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Every fragment verb Levin lists has a listed class whose page it realizes, showing each alternation with a schema that the page attests for the whole class and none that the page stars.
The causee tells the two causative alternations apart. On the links the diatheses of run and of shatter each fit both schemas, but run shows the induced action alternation alone, its causee volitional, and shatter the causative/inchoative alternation alone.