Diathesis alternations

The alternations and constructions of [Lev93] Part One, one constructor per numbered section, with the section number (DiathesisAlternation.number) and Levin's title (DiathesisAlternation.name); a section that groups subsections, such as the causative alternations or the locative alternation, is a constructor too, since the class pages of Part II name it. The chapter of Part One that presents an alternation is its family (DiathesisAlternation.family).

References

• [Lev93]

inductive ArgumentStructure.AlternationFamily : Type

The chapter of [Lev93] Part One that presents an alternation.

• transitivity : AlternationFamily

  Chapter 1, transitivity alternations.

• vpInternal : AlternationFamily

  Chapter 2, alternations involving arguments within the VP.

• obliqueSubject : AlternationFamily

  Chapter 3, oblique subject alternations.

• reflexive : AlternationFamily

  Chapter 4, reflexive diathesis alternations.

• passive : AlternationFamily

  Chapter 5, passive.

• postverbalSubject : AlternationFamily

  Chapter 6, alternations involving postverbal subjects.

• otherConstructions : AlternationFamily

  Chapter 7, other constructions.

• specialDiathesis : AlternationFamily

  Chapter 8, verbs requiring special diatheses.

@[instance_reducible]

instance ArgumentStructure.instDecidableEqAlternationFamily : DecidableEq AlternationFamily

Equations

• ArgumentStructure.instDecidableEqAlternationFamily x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def ArgumentStructure.instReprAlternationFamily.repr : AlternationFamily → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance ArgumentStructure.instReprAlternationFamily : Repr AlternationFamily

Equations

• ArgumentStructure.instReprAlternationFamily = { reprPrec := ArgumentStructure.instReprAlternationFamily.repr }

inductive ArgumentStructure.DiathesisAlternation : Type

The numbered sections of [Lev93] Part One.

• objectOfTransitiveSubjectOfIntransitive : DiathesisAlternation

  §1.1, Object of Transitive = Subject of Intransitive Alternations.

• middle : DiathesisAlternation

  §1.1.1, Middle Alternation.

• causative : DiathesisAlternation

  §1.1.2, Causative Alternations.

• causativeInchoative : DiathesisAlternation

  §1.1.2.1, Causative/Inchoative Alternation.

• inducedAction : DiathesisAlternation

  §1.1.2.2, Induced Action Alternation.

• otherCausative : DiathesisAlternation

  §1.1.2.3, Other Instances of Causative Alternations.

• substanceSource : DiathesisAlternation

  §1.1.3, Substance/Source Alternation.

• unexpressedObject : DiathesisAlternation

  §1.2, Unexpressed Object Alternations.

• unspecifiedObject : DiathesisAlternation

  §1.2.1, Unspecified Object Alternation.

• understoodBodyPartObject : DiathesisAlternation

  §1.2.2, Understood Body-Part Object Alternation.

• understoodReflexiveObject : DiathesisAlternation

  §1.2.3, Understood Reflexive Object Alternation.

• understoodReciprocalObject : DiathesisAlternation

  §1.2.4, Understood Reciprocal Object Alternation.

• proArbObject : DiathesisAlternation

  §1.2.5, PRO-arb Object Alternation.

• characteristicProperty : DiathesisAlternation

  §1.2.6, Characteristic Property Alternations.

• characteristicPropertyOfAgent : DiathesisAlternation

  §1.2.6.1, Characteristic Property of Agent Alternation.

• characteristicPropertyOfInstrument : DiathesisAlternation

  §1.2.6.2, Characteristic Property of Instrument Alternation.

• wayObject : DiathesisAlternation

  §1.2.7, Way Object Alternation.

• instructionalImperative : DiathesisAlternation

  §1.2.8, Instructional Imperative.

• conative : DiathesisAlternation

  §1.3, Conative Alternation.

• prepositionDrop : DiathesisAlternation

  §1.4, Preposition Drop Alternations.

• locativePrepositionDrop : DiathesisAlternation

  §1.4.1, Locative Preposition Drop Alternation.

• withPrepositionDrop : DiathesisAlternation

  §1.4.2, With Preposition Drop Alternation.

• dative : DiathesisAlternation

  §2.1, Dative Alternation.

• benefactive : DiathesisAlternation

  §2.2, Benefactive Alternation.

• locative : DiathesisAlternation

  §2.3, Locative Alternation.

• sprayLoad : DiathesisAlternation

  §2.3.1, Spray/Load Alternation.

• clearTransitive : DiathesisAlternation

  §2.3.2, Clear Alternation (transitive).

• wipe : DiathesisAlternation

  §2.3.3, Wipe Alternation.

• swarm : DiathesisAlternation

  §2.3.4, Swarm Alternation.

• clearIntransitive : DiathesisAlternation

  §2.3.5, Clear Alternation (intransitive).

• creationAndTransformation : DiathesisAlternation

  §2.4, Creation and Transformation Alternations.

• materialProduct : DiathesisAlternation

  §2.4.1, Material/Product Alternation (transitive).

• materialProductIntransitive : DiathesisAlternation

  §2.4.2, Material/Product Alternation (intransitive).

• totalTransformation : DiathesisAlternation

  §2.4.3, Total Transformation Alternation (transitive).

• totalTransformationIntransitive : DiathesisAlternation

  §2.4.4, Total Transformation Alternation (intransitive).

• reciprocal : DiathesisAlternation

  §2.5, Reciprocal Alternations.

• simpleReciprocal : DiathesisAlternation

  §2.5.1, Simple Reciprocal Alternation (transitive).

• togetherReciprocal : DiathesisAlternation

  §2.5.2, Together Reciprocal Alternation (transitive).

• apartReciprocal : DiathesisAlternation

  §2.5.3, Apart Reciprocal Alternation (transitive).

• simpleReciprocalIntransitive : DiathesisAlternation

  §2.5.4, Simple Reciprocal Alternation (intransitive).

• togetherReciprocalIntransitive : DiathesisAlternation

  §2.5.5, Together Reciprocal Alternation (intransitive).

• apartReciprocalIntransitive : DiathesisAlternation

  §2.5.6, Apart Reciprocal Alternation (intransitive).

• fulfilling : DiathesisAlternation

  §2.6, Fulfilling Alternation.

• imageImpression : DiathesisAlternation

  §2.7, Image Impression Alternation.

• withAgainst : DiathesisAlternation

  §2.8, With/Against Alternation.

• throughWith : DiathesisAlternation

  §2.9, Through/With Alternation.

• blame : DiathesisAlternation

  §2.10, Blame Alternation.

• search : DiathesisAlternation

  §2.11, Search Alternations.

• bodyPartPossessorAscension : DiathesisAlternation

  §2.12, Body-Part Possessor Ascension Alternation.

• possessorAttributeFactoring : DiathesisAlternation

  §2.13, Possessor-Attribute Factoring Alternations.

• possessorObject : DiathesisAlternation

  §2.13.1, Possessor Object.

• attributeObject : DiathesisAlternation

  §2.13.2, Attribute Object.

• possessorAndAttribute : DiathesisAlternation

  §2.13.3, Possessor and Attribute Alternation.

• possessorSubject : DiathesisAlternation

  §2.13.4, Possessor Subject (transitive).

• possessorSubjectIntransitive : DiathesisAlternation

  §2.13.5, Possessor Subject (intransitive).

• as : DiathesisAlternation

  §2.14, As Alternation.

• timeSubject : DiathesisAlternation

  §3.1, Time Subject Alternation.

• naturalForceSubject : DiathesisAlternation

  §3.2, Natural Force Subject Alternation.

• instrumentSubject : DiathesisAlternation

  §3.3, Instrument Subject Alternation.

• abstractCauseSubject : DiathesisAlternation

  §3.4, Abstract Cause Subject Alternation.

• locatumSubject : DiathesisAlternation

  §3.5, Locatum Subject Alternation.

• locationSubject : DiathesisAlternation

  §3.6, Location Subject Alternation.

• containerSubject : DiathesisAlternation

  §3.7, Container Subject Alternation.

• rawMaterialSubject : DiathesisAlternation

  §3.8, Raw Material Subject Alternation.

• sumOfMoneySubject : DiathesisAlternation

  §3.9, Sum of Money Subject Alternation.

• sourceSubject : DiathesisAlternation

  §3.10, Source Subject Alternation.

• virtualReflexive : DiathesisAlternation

  §4.1, Virtual Reflexive Alternation.

• reflexiveOfAppearance : DiathesisAlternation

  §4.2, Reflexive of Appearance Alternation.

• verbalPassive : DiathesisAlternation

  §5.1, Verbal Passive.

• prepositionalPassive : DiathesisAlternation

  §5.2, Prepositional Passive.

• adjectivalPassive : DiathesisAlternation

  §5.3, Adjectival Passive (transitive verbs).

• adjectivalPerfectParticiple : DiathesisAlternation

  §5.4, Adjectival Perfect Participles (intransitive verbs).

• thereInsertion : DiathesisAlternation

  §6.1, There-Insertion.

• locativeInversion : DiathesisAlternation

  §6.2, Locative Inversion.

• cognateObject : DiathesisAlternation

  §7.1, Cognate Object Construction.

• cognatePrepositionalPhrase : DiathesisAlternation

  §7.2, Cognate Prepositional Phrase Construction.

• reactionObject : DiathesisAlternation

  §7.3, Reaction Object Construction.

• wayConstruction : DiathesisAlternation

  §7.4, X’s Way Construction.

• resultative : DiathesisAlternation

  §7.5, Resultative Construction.

• unintentionalInterpretation : DiathesisAlternation

  §7.6, Unintentional Interpretation of Object.

• unintentionalInterpretationReflexive : DiathesisAlternation

  §7.6.1, Unintentional Interpretation with Reflexive Object.

• unintentionalInterpretationBodyPart : DiathesisAlternation

  §7.6.2, Unintentional Interpretation with Body-Part Object.

• boundNonreflexiveAnaphor : DiathesisAlternation

  §7.7, Bound Nonreflexive Anaphor as Prepositional Object.

• directionalPhrase : DiathesisAlternation

  §7.8, Directional Phrases with Nondirected Motion Verbs.

• obligatoryPassive : DiathesisAlternation

  §8.1, Obligatory Passive.

@[instance_reducible]

instance ArgumentStructure.instDecidableEqDiathesisAlternation : DecidableEq DiathesisAlternation

Equations

• ArgumentStructure.instDecidableEqDiathesisAlternation x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def ArgumentStructure.instReprDiathesisAlternation.repr : DiathesisAlternation → ℕ → Std.Format

Equations

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

@[instance_reducible]

instance ArgumentStructure.instReprDiathesisAlternation : Repr DiathesisAlternation

Equations

• ArgumentStructure.instReprDiathesisAlternation = { reprPrec := ArgumentStructure.instReprDiathesisAlternation.repr }

@[instance_reducible]

instance ArgumentStructure.instFintypeDiathesisAlternation : Fintype DiathesisAlternation

Equations

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

def ArgumentStructure.DiathesisAlternation.number : DiathesisAlternation → List ℕ

The section number in Part One.

Equations

• ArgumentStructure.DiathesisAlternation.objectOfTransitiveSubjectOfIntransitive.number = [1, 1]
• ArgumentStructure.DiathesisAlternation.middle.number = [1, 1, 1]
• ArgumentStructure.DiathesisAlternation.causative.number = [1, 1, 2]
• ArgumentStructure.DiathesisAlternation.causativeInchoative.number = [1, 1, 2, 1]
• ArgumentStructure.DiathesisAlternation.inducedAction.number = [1, 1, 2, 2]
• ArgumentStructure.DiathesisAlternation.otherCausative.number = [1, 1, 2, 3]
• ArgumentStructure.DiathesisAlternation.substanceSource.number = [1, 1, 3]
• ArgumentStructure.DiathesisAlternation.unexpressedObject.number = [1, 2]
• ArgumentStructure.DiathesisAlternation.unspecifiedObject.number = [1, 2, 1]
• ArgumentStructure.DiathesisAlternation.understoodBodyPartObject.number = [1, 2, 2]
• ArgumentStructure.DiathesisAlternation.understoodReflexiveObject.number = [1, 2, 3]
• ArgumentStructure.DiathesisAlternation.understoodReciprocalObject.number = [1, 2, 4]
• ArgumentStructure.DiathesisAlternation.proArbObject.number = [1, 2, 5]
• ArgumentStructure.DiathesisAlternation.characteristicProperty.number = [1, 2, 6]
• ArgumentStructure.DiathesisAlternation.characteristicPropertyOfAgent.number = [1, 2, 6, 1]
• ArgumentStructure.DiathesisAlternation.characteristicPropertyOfInstrument.number = [1, 2, 6, 2]
• ArgumentStructure.DiathesisAlternation.wayObject.number = [1, 2, 7]
• ArgumentStructure.DiathesisAlternation.instructionalImperative.number = [1, 2, 8]
• ArgumentStructure.DiathesisAlternation.conative.number = [1, 3]
• ArgumentStructure.DiathesisAlternation.prepositionDrop.number = [1, 4]
• ArgumentStructure.DiathesisAlternation.locativePrepositionDrop.number = [1, 4, 1]
• ArgumentStructure.DiathesisAlternation.withPrepositionDrop.number = [1, 4, 2]
• ArgumentStructure.DiathesisAlternation.dative.number = [2, 1]
• ArgumentStructure.DiathesisAlternation.benefactive.number = [2, 2]
• ArgumentStructure.DiathesisAlternation.locative.number = [2, 3]
• ArgumentStructure.DiathesisAlternation.sprayLoad.number = [2, 3, 1]
• ArgumentStructure.DiathesisAlternation.clearTransitive.number = [2, 3, 2]
• ArgumentStructure.DiathesisAlternation.wipe.number = [2, 3, 3]
• ArgumentStructure.DiathesisAlternation.swarm.number = [2, 3, 4]
• ArgumentStructure.DiathesisAlternation.clearIntransitive.number = [2, 3, 5]
• ArgumentStructure.DiathesisAlternation.creationAndTransformation.number = [2, 4]
• ArgumentStructure.DiathesisAlternation.materialProduct.number = [2, 4, 1]
• ArgumentStructure.DiathesisAlternation.materialProductIntransitive.number = [2, 4, 2]
• ArgumentStructure.DiathesisAlternation.totalTransformation.number = [2, 4, 3]
• ArgumentStructure.DiathesisAlternation.totalTransformationIntransitive.number = [2, 4, 4]
• ArgumentStructure.DiathesisAlternation.reciprocal.number = [2, 5]
• ArgumentStructure.DiathesisAlternation.simpleReciprocal.number = [2, 5, 1]
• ArgumentStructure.DiathesisAlternation.togetherReciprocal.number = [2, 5, 2]
• ArgumentStructure.DiathesisAlternation.apartReciprocal.number = [2, 5, 3]
• ArgumentStructure.DiathesisAlternation.simpleReciprocalIntransitive.number = [2, 5, 4]
• ArgumentStructure.DiathesisAlternation.togetherReciprocalIntransitive.number = [2, 5, 5]
• ArgumentStructure.DiathesisAlternation.apartReciprocalIntransitive.number = [2, 5, 6]
• ArgumentStructure.DiathesisAlternation.fulfilling.number = [2, 6]
• ArgumentStructure.DiathesisAlternation.imageImpression.number = [2, 7]
• ArgumentStructure.DiathesisAlternation.withAgainst.number = [2, 8]
• ArgumentStructure.DiathesisAlternation.throughWith.number = [2, 9]
• ArgumentStructure.DiathesisAlternation.blame.number = [2, 10]
• ArgumentStructure.DiathesisAlternation.search.number = [2, 11]
• ArgumentStructure.DiathesisAlternation.bodyPartPossessorAscension.number = [2, 12]
• ArgumentStructure.DiathesisAlternation.possessorAttributeFactoring.number = [2, 13]
• ArgumentStructure.DiathesisAlternation.possessorObject.number = [2, 13, 1]
• ArgumentStructure.DiathesisAlternation.attributeObject.number = [2, 13, 2]
• ArgumentStructure.DiathesisAlternation.possessorAndAttribute.number = [2, 13, 3]
• ArgumentStructure.DiathesisAlternation.possessorSubject.number = [2, 13, 4]
• ArgumentStructure.DiathesisAlternation.possessorSubjectIntransitive.number = [2, 13, 5]
• ArgumentStructure.DiathesisAlternation.as.number = [2, 14]
• ArgumentStructure.DiathesisAlternation.timeSubject.number = [3, 1]
• ArgumentStructure.DiathesisAlternation.naturalForceSubject.number = [3, 2]
• ArgumentStructure.DiathesisAlternation.instrumentSubject.number = [3, 3]
• ArgumentStructure.DiathesisAlternation.abstractCauseSubject.number = [3, 4]
• ArgumentStructure.DiathesisAlternation.locatumSubject.number = [3, 5]
• ArgumentStructure.DiathesisAlternation.locationSubject.number = [3, 6]
• ArgumentStructure.DiathesisAlternation.containerSubject.number = [3, 7]
• ArgumentStructure.DiathesisAlternation.rawMaterialSubject.number = [3, 8]
• ArgumentStructure.DiathesisAlternation.sumOfMoneySubject.number = [3, 9]
• ArgumentStructure.DiathesisAlternation.sourceSubject.number = [3, 10]
• ArgumentStructure.DiathesisAlternation.virtualReflexive.number = [4, 1]
• ArgumentStructure.DiathesisAlternation.reflexiveOfAppearance.number = [4, 2]
• ArgumentStructure.DiathesisAlternation.verbalPassive.number = [5, 1]
• ArgumentStructure.DiathesisAlternation.prepositionalPassive.number = [5, 2]
• ArgumentStructure.DiathesisAlternation.adjectivalPassive.number = [5, 3]
• ArgumentStructure.DiathesisAlternation.adjectivalPerfectParticiple.number = [5, 4]
• ArgumentStructure.DiathesisAlternation.thereInsertion.number = [6, 1]
• ArgumentStructure.DiathesisAlternation.locativeInversion.number = [6, 2]
• ArgumentStructure.DiathesisAlternation.cognateObject.number = [7, 1]
• ArgumentStructure.DiathesisAlternation.cognatePrepositionalPhrase.number = [7, 2]
• ArgumentStructure.DiathesisAlternation.reactionObject.number = [7, 3]
• ArgumentStructure.DiathesisAlternation.wayConstruction.number = [7, 4]
• ArgumentStructure.DiathesisAlternation.resultative.number = [7, 5]
• ArgumentStructure.DiathesisAlternation.unintentionalInterpretation.number = [7, 6]
• ArgumentStructure.DiathesisAlternation.unintentionalInterpretationReflexive.number = [7, 6, 1]
• ArgumentStructure.DiathesisAlternation.unintentionalInterpretationBodyPart.number = [7, 6, 2]
• ArgumentStructure.DiathesisAlternation.boundNonreflexiveAnaphor.number = [7, 7]
• ArgumentStructure.DiathesisAlternation.directionalPhrase.number = [7, 8]
• ArgumentStructure.DiathesisAlternation.obligatoryPassive.number = [8, 1]

def ArgumentStructure.DiathesisAlternation.ofNumber? (n : List ℕ) : Option DiathesisAlternation

The alternation numbered n in Part One, if there is one.

Equations

• ArgumentStructure.DiathesisAlternation.ofNumber? n = List.find? (fun (x : ArgumentStructure.DiathesisAlternation) => decide (x.number = n)) ArgumentStructure.DiathesisAlternation.enumList

def ArgumentStructure.DiathesisAlternation.name : DiathesisAlternation → String

The section title in Part One.

Equations

• ArgumentStructure.DiathesisAlternation.objectOfTransitiveSubjectOfIntransitive.name = "Object of Transitive = Subject of Intransitive Alternations"
• ArgumentStructure.DiathesisAlternation.middle.name = "Middle Alternation"
• ArgumentStructure.DiathesisAlternation.causative.name = "Causative Alternations"
• ArgumentStructure.DiathesisAlternation.causativeInchoative.name = "Causative/Inchoative Alternation"
• ArgumentStructure.DiathesisAlternation.inducedAction.name = "Induced Action Alternation"
• ArgumentStructure.DiathesisAlternation.otherCausative.name = "Other Instances of Causative Alternations"
• ArgumentStructure.DiathesisAlternation.substanceSource.name = "Substance/Source Alternation"
• ArgumentStructure.DiathesisAlternation.unexpressedObject.name = "Unexpressed Object Alternations"
• ArgumentStructure.DiathesisAlternation.unspecifiedObject.name = "Unspecified Object Alternation"
• ArgumentStructure.DiathesisAlternation.understoodBodyPartObject.name = "Understood Body-Part Object Alternation"
• ArgumentStructure.DiathesisAlternation.understoodReflexiveObject.name = "Understood Reflexive Object Alternation"
• ArgumentStructure.DiathesisAlternation.understoodReciprocalObject.name = "Understood Reciprocal Object Alternation"
• ArgumentStructure.DiathesisAlternation.proArbObject.name = "PRO-arb Object Alternation"
• ArgumentStructure.DiathesisAlternation.characteristicProperty.name = "Characteristic Property Alternations"
• ArgumentStructure.DiathesisAlternation.characteristicPropertyOfAgent.name = "Characteristic Property of Agent Alternation"
• ArgumentStructure.DiathesisAlternation.characteristicPropertyOfInstrument.name = "Characteristic Property of Instrument Alternation"
• ArgumentStructure.DiathesisAlternation.wayObject.name = "Way Object Alternation"
• ArgumentStructure.DiathesisAlternation.instructionalImperative.name = "Instructional Imperative"
• ArgumentStructure.DiathesisAlternation.conative.name = "Conative Alternation"
• ArgumentStructure.DiathesisAlternation.prepositionDrop.name = "Preposition Drop Alternations"
• ArgumentStructure.DiathesisAlternation.locativePrepositionDrop.name = "Locative Preposition Drop Alternation"
• ArgumentStructure.DiathesisAlternation.withPrepositionDrop.name = "With Preposition Drop Alternation"
• ArgumentStructure.DiathesisAlternation.dative.name = "Dative Alternation"
• ArgumentStructure.DiathesisAlternation.benefactive.name = "Benefactive Alternation"
• ArgumentStructure.DiathesisAlternation.locative.name = "Locative Alternation"
• ArgumentStructure.DiathesisAlternation.sprayLoad.name = "Spray/Load Alternation"
• ArgumentStructure.DiathesisAlternation.clearTransitive.name = "Clear Alternation (transitive)"
• ArgumentStructure.DiathesisAlternation.wipe.name = "Wipe Alternation"
• ArgumentStructure.DiathesisAlternation.swarm.name = "Swarm Alternation"
• ArgumentStructure.DiathesisAlternation.clearIntransitive.name = "Clear Alternation (intransitive)"
• ArgumentStructure.DiathesisAlternation.creationAndTransformation.name = "Creation and Transformation Alternations"
• ArgumentStructure.DiathesisAlternation.materialProduct.name = "Material/Product Alternation (transitive)"
• ArgumentStructure.DiathesisAlternation.materialProductIntransitive.name = "Material/Product Alternation (intransitive)"
• ArgumentStructure.DiathesisAlternation.totalTransformation.name = "Total Transformation Alternation (transitive)"
• ArgumentStructure.DiathesisAlternation.totalTransformationIntransitive.name = "Total Transformation Alternation (intransitive)"
• ArgumentStructure.DiathesisAlternation.reciprocal.name = "Reciprocal Alternations"
• ArgumentStructure.DiathesisAlternation.simpleReciprocal.name = "Simple Reciprocal Alternation (transitive)"
• ArgumentStructure.DiathesisAlternation.togetherReciprocal.name = "Together Reciprocal Alternation (transitive)"
• ArgumentStructure.DiathesisAlternation.apartReciprocal.name = "Apart Reciprocal Alternation (transitive)"
• ArgumentStructure.DiathesisAlternation.simpleReciprocalIntransitive.name = "Simple Reciprocal Alternation (intransitive)"
• ArgumentStructure.DiathesisAlternation.togetherReciprocalIntransitive.name = "Together Reciprocal Alternation (intransitive)"
• ArgumentStructure.DiathesisAlternation.apartReciprocalIntransitive.name = "Apart Reciprocal Alternation (intransitive)"
• ArgumentStructure.DiathesisAlternation.fulfilling.name = "Fulfilling Alternation"
• ArgumentStructure.DiathesisAlternation.imageImpression.name = "Image Impression Alternation"
• ArgumentStructure.DiathesisAlternation.withAgainst.name = "With/Against Alternation"
• ArgumentStructure.DiathesisAlternation.throughWith.name = "Through/With Alternation"
• ArgumentStructure.DiathesisAlternation.blame.name = "Blame Alternation"
• ArgumentStructure.DiathesisAlternation.search.name = "Search Alternations"
• ArgumentStructure.DiathesisAlternation.bodyPartPossessorAscension.name = "Body-Part Possessor Ascension Alternation"
• ArgumentStructure.DiathesisAlternation.possessorAttributeFactoring.name = "Possessor-Attribute Factoring Alternations"
• ArgumentStructure.DiathesisAlternation.possessorObject.name = "Possessor Object"
• ArgumentStructure.DiathesisAlternation.attributeObject.name = "Attribute Object"
• ArgumentStructure.DiathesisAlternation.possessorAndAttribute.name = "Possessor and Attribute Alternation"
• ArgumentStructure.DiathesisAlternation.possessorSubject.name = "Possessor Subject (transitive)"
• ArgumentStructure.DiathesisAlternation.possessorSubjectIntransitive.name = "Possessor Subject (intransitive)"
• ArgumentStructure.DiathesisAlternation.as.name = "As Alternation"
• ArgumentStructure.DiathesisAlternation.timeSubject.name = "Time Subject Alternation"
• ArgumentStructure.DiathesisAlternation.naturalForceSubject.name = "Natural Force Subject Alternation"
• ArgumentStructure.DiathesisAlternation.instrumentSubject.name = "Instrument Subject Alternation"
• ArgumentStructure.DiathesisAlternation.abstractCauseSubject.name = "Abstract Cause Subject Alternation"
• ArgumentStructure.DiathesisAlternation.locatumSubject.name = "Locatum Subject Alternation"
• ArgumentStructure.DiathesisAlternation.locationSubject.name = "Location Subject Alternation"
• ArgumentStructure.DiathesisAlternation.containerSubject.name = "Container Subject Alternation"
• ArgumentStructure.DiathesisAlternation.rawMaterialSubject.name = "Raw Material Subject Alternation"
• ArgumentStructure.DiathesisAlternation.sumOfMoneySubject.name = "Sum of Money Subject Alternation"
• ArgumentStructure.DiathesisAlternation.sourceSubject.name = "Source Subject Alternation"
• ArgumentStructure.DiathesisAlternation.virtualReflexive.name = "Virtual Reflexive Alternation"
• ArgumentStructure.DiathesisAlternation.reflexiveOfAppearance.name = "Reflexive of Appearance Alternation"
• ArgumentStructure.DiathesisAlternation.verbalPassive.name = "Verbal Passive"
• ArgumentStructure.DiathesisAlternation.prepositionalPassive.name = "Prepositional Passive"
• ArgumentStructure.DiathesisAlternation.adjectivalPassive.name = "Adjectival Passive (transitive verbs)"
• ArgumentStructure.DiathesisAlternation.adjectivalPerfectParticiple.name = "Adjectival Perfect Participles (intransitive verbs)"
• ArgumentStructure.DiathesisAlternation.thereInsertion.name = "There-Insertion"
• ArgumentStructure.DiathesisAlternation.locativeInversion.name = "Locative Inversion"
• ArgumentStructure.DiathesisAlternation.cognateObject.name = "Cognate Object Construction"
• ArgumentStructure.DiathesisAlternation.cognatePrepositionalPhrase.name = "Cognate Prepositional Phrase Construction"
• ArgumentStructure.DiathesisAlternation.reactionObject.name = "Reaction Object Construction"
• ArgumentStructure.DiathesisAlternation.wayConstruction.name = "X’s Way Construction"
• ArgumentStructure.DiathesisAlternation.resultative.name = "Resultative Construction"
• ArgumentStructure.DiathesisAlternation.unintentionalInterpretation.name = "Unintentional Interpretation of Object"
• ArgumentStructure.DiathesisAlternation.unintentionalInterpretationReflexive.name = "Unintentional Interpretation with Reflexive Object"
• ArgumentStructure.DiathesisAlternation.unintentionalInterpretationBodyPart.name = "Unintentional Interpretation with Body-Part Object"
• ArgumentStructure.DiathesisAlternation.boundNonreflexiveAnaphor.name = "Bound Nonreflexive Anaphor as Prepositional Object"
• ArgumentStructure.DiathesisAlternation.directionalPhrase.name = "Directional Phrases with Nondirected Motion Verbs"
• ArgumentStructure.DiathesisAlternation.obligatoryPassive.name = "Obligatory Passive"

def ArgumentStructure.DiathesisAlternation.chapter (a : DiathesisAlternation) : ℕ

The chapter of Part One.

Equations

• a.chapter = a.number.headD 0

def ArgumentStructure.DiathesisAlternation.parent? : DiathesisAlternation → Option DiathesisAlternation

The section that groups this one, if any.

Equations

• ArgumentStructure.DiathesisAlternation.objectOfTransitiveSubjectOfIntransitive.parent? = none
• ArgumentStructure.DiathesisAlternation.middle.parent? = some ArgumentStructure.DiathesisAlternation.objectOfTransitiveSubjectOfIntransitive
• ArgumentStructure.DiathesisAlternation.causative.parent? = some ArgumentStructure.DiathesisAlternation.objectOfTransitiveSubjectOfIntransitive
• ArgumentStructure.DiathesisAlternation.causativeInchoative.parent? = some ArgumentStructure.DiathesisAlternation.causative
• ArgumentStructure.DiathesisAlternation.inducedAction.parent? = some ArgumentStructure.DiathesisAlternation.causative
• ArgumentStructure.DiathesisAlternation.otherCausative.parent? = some ArgumentStructure.DiathesisAlternation.causative
• ArgumentStructure.DiathesisAlternation.substanceSource.parent? = some ArgumentStructure.DiathesisAlternation.objectOfTransitiveSubjectOfIntransitive
• ArgumentStructure.DiathesisAlternation.unexpressedObject.parent? = none
• ArgumentStructure.DiathesisAlternation.unspecifiedObject.parent? = some ArgumentStructure.DiathesisAlternation.unexpressedObject
• ArgumentStructure.DiathesisAlternation.understoodBodyPartObject.parent? = some ArgumentStructure.DiathesisAlternation.unexpressedObject
• ArgumentStructure.DiathesisAlternation.understoodReflexiveObject.parent? = some ArgumentStructure.DiathesisAlternation.unexpressedObject
• ArgumentStructure.DiathesisAlternation.understoodReciprocalObject.parent? = some ArgumentStructure.DiathesisAlternation.unexpressedObject
• ArgumentStructure.DiathesisAlternation.proArbObject.parent? = some ArgumentStructure.DiathesisAlternation.unexpressedObject
• ArgumentStructure.DiathesisAlternation.characteristicProperty.parent? = some ArgumentStructure.DiathesisAlternation.unexpressedObject
• ArgumentStructure.DiathesisAlternation.characteristicPropertyOfAgent.parent? = some ArgumentStructure.DiathesisAlternation.characteristicProperty
• ArgumentStructure.DiathesisAlternation.characteristicPropertyOfInstrument.parent? = some ArgumentStructure.DiathesisAlternation.characteristicProperty
• ArgumentStructure.DiathesisAlternation.wayObject.parent? = some ArgumentStructure.DiathesisAlternation.unexpressedObject
• ArgumentStructure.DiathesisAlternation.instructionalImperative.parent? = some ArgumentStructure.DiathesisAlternation.unexpressedObject
• ArgumentStructure.DiathesisAlternation.conative.parent? = none
• ArgumentStructure.DiathesisAlternation.prepositionDrop.parent? = none
• ArgumentStructure.DiathesisAlternation.locativePrepositionDrop.parent? = some ArgumentStructure.DiathesisAlternation.prepositionDrop
• ArgumentStructure.DiathesisAlternation.withPrepositionDrop.parent? = some ArgumentStructure.DiathesisAlternation.prepositionDrop
• ArgumentStructure.DiathesisAlternation.dative.parent? = none
• ArgumentStructure.DiathesisAlternation.benefactive.parent? = none
• ArgumentStructure.DiathesisAlternation.locative.parent? = none
• ArgumentStructure.DiathesisAlternation.sprayLoad.parent? = some ArgumentStructure.DiathesisAlternation.locative
• ArgumentStructure.DiathesisAlternation.clearTransitive.parent? = some ArgumentStructure.DiathesisAlternation.locative
• ArgumentStructure.DiathesisAlternation.wipe.parent? = some ArgumentStructure.DiathesisAlternation.locative
• ArgumentStructure.DiathesisAlternation.swarm.parent? = some ArgumentStructure.DiathesisAlternation.locative
• ArgumentStructure.DiathesisAlternation.clearIntransitive.parent? = some ArgumentStructure.DiathesisAlternation.locative
• ArgumentStructure.DiathesisAlternation.creationAndTransformation.parent? = none
• ArgumentStructure.DiathesisAlternation.materialProduct.parent? = some ArgumentStructure.DiathesisAlternation.creationAndTransformation
• ArgumentStructure.DiathesisAlternation.materialProductIntransitive.parent? = some ArgumentStructure.DiathesisAlternation.creationAndTransformation
• ArgumentStructure.DiathesisAlternation.totalTransformation.parent? = some ArgumentStructure.DiathesisAlternation.creationAndTransformation
• ArgumentStructure.DiathesisAlternation.totalTransformationIntransitive.parent? = some ArgumentStructure.DiathesisAlternation.creationAndTransformation
• ArgumentStructure.DiathesisAlternation.reciprocal.parent? = none
• ArgumentStructure.DiathesisAlternation.simpleReciprocal.parent? = some ArgumentStructure.DiathesisAlternation.reciprocal
• ArgumentStructure.DiathesisAlternation.togetherReciprocal.parent? = some ArgumentStructure.DiathesisAlternation.reciprocal
• ArgumentStructure.DiathesisAlternation.apartReciprocal.parent? = some ArgumentStructure.DiathesisAlternation.reciprocal
• ArgumentStructure.DiathesisAlternation.simpleReciprocalIntransitive.parent? = some ArgumentStructure.DiathesisAlternation.reciprocal
• ArgumentStructure.DiathesisAlternation.togetherReciprocalIntransitive.parent? = some ArgumentStructure.DiathesisAlternation.reciprocal
• ArgumentStructure.DiathesisAlternation.apartReciprocalIntransitive.parent? = some ArgumentStructure.DiathesisAlternation.reciprocal
• ArgumentStructure.DiathesisAlternation.fulfilling.parent? = none
• ArgumentStructure.DiathesisAlternation.imageImpression.parent? = none
• ArgumentStructure.DiathesisAlternation.withAgainst.parent? = none
• ArgumentStructure.DiathesisAlternation.throughWith.parent? = none
• ArgumentStructure.DiathesisAlternation.blame.parent? = none
• ArgumentStructure.DiathesisAlternation.search.parent? = none
• ArgumentStructure.DiathesisAlternation.bodyPartPossessorAscension.parent? = none
• ArgumentStructure.DiathesisAlternation.possessorAttributeFactoring.parent? = none
• ArgumentStructure.DiathesisAlternation.possessorObject.parent? = some ArgumentStructure.DiathesisAlternation.possessorAttributeFactoring
• ArgumentStructure.DiathesisAlternation.attributeObject.parent? = some ArgumentStructure.DiathesisAlternation.possessorAttributeFactoring
• ArgumentStructure.DiathesisAlternation.possessorAndAttribute.parent? = some ArgumentStructure.DiathesisAlternation.possessorAttributeFactoring
• ArgumentStructure.DiathesisAlternation.possessorSubject.parent? = some ArgumentStructure.DiathesisAlternation.possessorAttributeFactoring
• ArgumentStructure.DiathesisAlternation.possessorSubjectIntransitive.parent? = some ArgumentStructure.DiathesisAlternation.possessorAttributeFactoring
• ArgumentStructure.DiathesisAlternation.as.parent? = none
• ArgumentStructure.DiathesisAlternation.timeSubject.parent? = none
• ArgumentStructure.DiathesisAlternation.naturalForceSubject.parent? = none
• ArgumentStructure.DiathesisAlternation.instrumentSubject.parent? = none
• ArgumentStructure.DiathesisAlternation.abstractCauseSubject.parent? = none
• ArgumentStructure.DiathesisAlternation.locatumSubject.parent? = none
• ArgumentStructure.DiathesisAlternation.locationSubject.parent? = none
• ArgumentStructure.DiathesisAlternation.containerSubject.parent? = none
• ArgumentStructure.DiathesisAlternation.rawMaterialSubject.parent? = none
• ArgumentStructure.DiathesisAlternation.sumOfMoneySubject.parent? = none
• ArgumentStructure.DiathesisAlternation.sourceSubject.parent? = none
• ArgumentStructure.DiathesisAlternation.virtualReflexive.parent? = none
• ArgumentStructure.DiathesisAlternation.reflexiveOfAppearance.parent? = none
• ArgumentStructure.DiathesisAlternation.verbalPassive.parent? = none
• ArgumentStructure.DiathesisAlternation.prepositionalPassive.parent? = none
• ArgumentStructure.DiathesisAlternation.adjectivalPassive.parent? = none
• ArgumentStructure.DiathesisAlternation.adjectivalPerfectParticiple.parent? = none
• ArgumentStructure.DiathesisAlternation.thereInsertion.parent? = none
• ArgumentStructure.DiathesisAlternation.locativeInversion.parent? = none
• ArgumentStructure.DiathesisAlternation.cognateObject.parent? = none
• ArgumentStructure.DiathesisAlternation.cognatePrepositionalPhrase.parent? = none
• ArgumentStructure.DiathesisAlternation.reactionObject.parent? = none
• ArgumentStructure.DiathesisAlternation.wayConstruction.parent? = none
• ArgumentStructure.DiathesisAlternation.resultative.parent? = none
• ArgumentStructure.DiathesisAlternation.unintentionalInterpretation.parent? = none
• ArgumentStructure.DiathesisAlternation.unintentionalInterpretationReflexive.parent? = some ArgumentStructure.DiathesisAlternation.unintentionalInterpretation
• ArgumentStructure.DiathesisAlternation.unintentionalInterpretationBodyPart.parent? = some ArgumentStructure.DiathesisAlternation.unintentionalInterpretation
• ArgumentStructure.DiathesisAlternation.boundNonreflexiveAnaphor.parent? = none
• ArgumentStructure.DiathesisAlternation.directionalPhrase.parent? = none
• ArgumentStructure.DiathesisAlternation.obligatoryPassive.parent? = none

def ArgumentStructure.DiathesisAlternation.family (a : DiathesisAlternation) : AlternationFamily

The family by chapter.

Equations

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