Creissels's typology of transitivity, valency and voice #
The nominal terms of a clause bear transitivity-related roles defined by coding rather than
by meaning: A and P are the two terms coded like the agent and the patient of a prototypical
transitive verb; S is the term of an intransitive clause coded like the sole argument of
monovalent verbs; every other nominal term is an oblique, a dative oblique where recipients
are coded apart from patients. A construction of a verb assigns each of the verb's potential
participants a nominal term with one of these roles, leaves it implied but unexpressed, or
has it outside participant structure altogether, and a valency alternation is a relation
between two constructions of the same verb. Where verbal morphology marks the alternation
it is a voice alternation and the morphologically simpler, or semantically unmarked,
construction is the initial one; where nothing marks it the verb is flexivalent, and a change
of transitivity without marking is ambitransitivity. Two operations characterise oriented
alternations: nucleativization, a participant that is not a core term of the initial
construction becomes one, and denucleativization, a core term of the initial construction is
not one of the derived construction, whether it remains implied or is suppressed from
participant structure. The main types are defined from them. Passivization, its impersonal
variant, antipassivization and S-denucleativization denucleativize one core term without
suppressing it and nucleativize nothing; decausativization suppresses the initial A; an
A-nucleativization makes a new participant the A or S and codes the initial A or S as P or
denucleativizes it, whether the new participant is a causer, causativization in the narrow
sense, an instrument, or a concernee; reflexivization and reciprocalization cumulate two
participant roles in one S; applicativization keeps the initial A or S and adds an applied
phrase, as P, as a dative or as an ordinary oblique, for a participant the initial
construction could not code that way; portative derivation makes the initial S the A of a
transitive construction whose P is a carried entity. Nucleativization is not valency
increase, since a participant may be nucleativized while another is denucleativized. One
marker commonly codes several types, and markers may stack compositionally, the composite
alternation being the composition of its parts, subject to language-particular restrictions
and non-compositional readings. Symmetrical voices, the pivot-prominent systems of Western
Austronesian and of a few languages elsewhere, select a participant as pivot without
nucleativizing or denucleativizing anything and so fall outside the typology. Transitive
and intransitive constructions align in coding, S coded like A or like P, and the
Obligatory Coding Principle, one coding assigned by every verb to one of its participants,
reformulates the accusative and ergative types as obligatory A-coding and obligatory
P-coding, which split-S languages violate. The book's examples are the rows of
Data/Examples/Creissels2024.json.
Implementation notes #
- A construction over a finite type of potential participants sends each to a status: a nominal term with the substrate's transitivity-related role, a dative oblique, implied but unexpressed, or absent from participant structure. Statuses record coding, so the sole P-coded term of an impersonal construction keeps the status P although the clause has no A. The alternation types are predicates on pairs of constructions, with the nucleativized or applied participant as a parameter where the definition singles one out. The semantic conditions that separate causativization from the A-nucleativization of an instrument or a concernee, or reflexivization from reciprocalization, are not modelled: the three A-nucleativizations are one predicate and the rows carry the book's label.
- The substrate's summary records of the alternation types, indexed by the fate of the initial A, P and S, are not redefined: a record describes a pair of constructions when the fates computed from the pair agree with its fields, and the book's defining example of each type is shown to be described by the corresponding record.
- Stacking is composition of relations, and valency is the number of nuclear participants.
- Alignment and the Obligatory Coding Principle are stated over the flagging of S in the book's intransitive examples; the book's principle ranges over every verb's coding frame, and its examples also show indexation.
TODO #
- Chapters 2 to 7 on participant coding, transitivity prominence, impersonal constructions and trivalent verbs, and chapters 9 to 17 beyond their definitions, are not modelled.
- The potential-participant condition on nucleativization, which excludes the Yupik believer derivation from voice; inflectional and equipollent voice systems; the non-compositional readings of stacked markers; and the diachronic scenarios are prose.
- The substrate's records fix an intransitive base for causativization and an intransitive derived construction for passivization and antipassivization, which the Balinese causative (51), the Tswana passive (38f) and the Nahuatl antipassive (39c) do not have; the records describe the defining examples only.
References #
Constructions and transitivity-related roles (§1.3) #
What a construction does with a potential participant of the verb: expresses it as a nominal term with a transitivity-related role, as a dative oblique, leaves it implied but unexpressed, or has it outside participant structure.
- term (r : Voice.TermRole) : Status
- dative : Status
- implicit : Status
- absent : Status
Instances For
Equations
- Creissels2024.instDecidableEqStatus.decEq (Creissels2024.Status.term a) (Creissels2024.Status.term b) = if h : a = b then h ▸ isTrue ⋯ else isFalse ⋯
- Creissels2024.instDecidableEqStatus.decEq (Creissels2024.Status.term r) Creissels2024.Status.dative = isFalse ⋯
- Creissels2024.instDecidableEqStatus.decEq (Creissels2024.Status.term r) Creissels2024.Status.implicit = isFalse ⋯
- Creissels2024.instDecidableEqStatus.decEq (Creissels2024.Status.term r) Creissels2024.Status.absent = isFalse ⋯
- Creissels2024.instDecidableEqStatus.decEq Creissels2024.Status.dative (Creissels2024.Status.term r) = isFalse ⋯
- Creissels2024.instDecidableEqStatus.decEq Creissels2024.Status.dative Creissels2024.Status.dative = isTrue ⋯
- Creissels2024.instDecidableEqStatus.decEq Creissels2024.Status.dative Creissels2024.Status.implicit = isFalse Creissels2024.instDecidableEqStatus.decEq._proof_7
- Creissels2024.instDecidableEqStatus.decEq Creissels2024.Status.dative Creissels2024.Status.absent = isFalse Creissels2024.instDecidableEqStatus.decEq._proof_8
- Creissels2024.instDecidableEqStatus.decEq Creissels2024.Status.implicit (Creissels2024.Status.term r) = isFalse ⋯
- Creissels2024.instDecidableEqStatus.decEq Creissels2024.Status.implicit Creissels2024.Status.dative = isFalse Creissels2024.instDecidableEqStatus.decEq._proof_10
- Creissels2024.instDecidableEqStatus.decEq Creissels2024.Status.implicit Creissels2024.Status.implicit = isTrue ⋯
- Creissels2024.instDecidableEqStatus.decEq Creissels2024.Status.implicit Creissels2024.Status.absent = isFalse Creissels2024.instDecidableEqStatus.decEq._proof_11
- Creissels2024.instDecidableEqStatus.decEq Creissels2024.Status.absent (Creissels2024.Status.term r) = isFalse ⋯
- Creissels2024.instDecidableEqStatus.decEq Creissels2024.Status.absent Creissels2024.Status.dative = isFalse Creissels2024.instDecidableEqStatus.decEq._proof_13
- Creissels2024.instDecidableEqStatus.decEq Creissels2024.Status.absent Creissels2024.Status.implicit = isFalse Creissels2024.instDecidableEqStatus.decEq._proof_14
- Creissels2024.instDecidableEqStatus.decEq Creissels2024.Status.absent Creissels2024.Status.absent = isTrue ⋯
Instances For
Equations
- Creissels2024.instReprStatus = { reprPrec := Creissels2024.instReprStatus.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
The role of the nominal term, datives counting as obliques.
Equations
- (Creissels2024.Status.term r).role = some r
- Creissels2024.Status.dative.role = some Voice.TermRole.X
- x✝.role = none
Instances For
A nuclear participant: one expressed as a core term.
Equations
- (Creissels2024.Status.term r).Nuclear = (r ≠ Voice.TermRole.X)
- x✝.Nuclear = False
Instances For
Equations
- One or more equations did not get rendered due to their size.
Equations
- s.instDecidablePredPresent = id inferInstance
Equations
- s.instDecidablePredExpressed = id inferInstance
A construction of a verb over its potential participants.
Equations
Instances For
A transitive construction has an A term and a P term.
Equations
- c.Transitive = ((∃ (i : ι), c i = Creissels2024.Status.term Voice.TermRole.A) ∧ ∃ (i : ι), c i = Creissels2024.Status.term Voice.TermRole.P)
Instances For
An impersonal construction has neither an A term nor an S term.
Equations
- c.Impersonal = ∀ (i : ι), c i ≠ Creissels2024.Status.term Voice.TermRole.A ∧ c i ≠ Creissels2024.Status.term Voice.TermRole.S
Instances For
The valency of a construction: its number of nuclear participants.
Instances For
Equations
- c.instDecidableTransitive = id inferInstance
Equations
- c.instDecidableImpersonal = id inferInstance
Nucleativization and denucleativization (§8.1.3) #
A participant that is not a core term of the initial construction is one of the derived construction.
Equations
- Creissels2024.Nucleativized c d i = (¬(c i).Nuclear ∧ (d i).Nuclear)
Instances For
A core term of the initial construction is not one of the derived construction.
Equations
- Creissels2024.Denucleativized c d i = ((c i).Nuclear ∧ ¬(d i).Nuclear)
Instances For
A core term of the initial construction is removed from participant structure.
Equations
- Creissels2024.Suppressed c d i = ((c i).Nuclear ∧ d i = Creissels2024.Status.absent)
Instances For
A participant the initial construction does not express as a core term is expressed, and differently, by the derived construction.
Equations
- Creissels2024.Introduced c d i = (¬(c i).Nuclear ∧ c i ≠ d i ∧ (d i).Expressed)
Instances For
Some participant is nucleativized.
Equations
- Creissels2024.Nucleativization c d = ∃ (i : ι), Creissels2024.Nucleativized c d i
Instances For
Some participant is denucleativized.
Equations
- Creissels2024.Denucleativization c d = ∃ (i : ι), Creissels2024.Denucleativized c d i
Instances For
The two constructions imply the same participant roles.
Equations
- Creissels2024.PreservesStructure c d = ∀ (i : ι), (c i).Present ↔ (d i).Present
Instances For
Equations
- Creissels2024.instDecidableNucleativized c d i = id inferInstance
Equations
- Creissels2024.instDecidableDenucleativized c d i = id inferInstance
Equations
- Creissels2024.instDecidableSuppressed c d i = id inferInstance
Equations
- Creissels2024.instDecidableIntroduced c d i = id inferInstance
Equations
- Creissels2024.instDecidableNucleativization c d = id inferInstance
Equations
- Creissels2024.instDecidableDenucleativization c d = id inferInstance
Equations
- Creissels2024.instDecidablePreservesStructure c d = id inferInstance
Nucleativization is not valency increase: a construction may nucleativize one participant and denucleativize another, keeping its valency, as a causative that codes the initial A as P and denucleativizes the initial P does.
A construction nucleativizes none of its own participants.
A construction denucleativizes none of its own participants.
The main types of voice alternation (§8.3) #
The common core of §8.3.2: a nuclear participant of the initial construction is denucleativized without being deleted from participant structure, and no participant is nucleativized.
Equations
- Creissels2024.Demoted c d i = (Creissels2024.Denucleativized c d i ∧ (d i).Present ∧ ¬Creissels2024.Nucleativization c d)
Instances For
Passivization: the initial construction is transitive, its A is demoted but maintained in participant structure, and its P remains a core term, as S in the canonical case and as the P of a transitive construction after a double-P construction.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The impersonal variant of passivization: the initial P keeps its coding, so the derived construction has neither A nor S.
Equations
- Creissels2024.IPassivization c d = (Creissels2024.Passivization c d ∧ d.Impersonal)
Instances For
Antipassivization: the initial construction is transitive, participant structure is unchanged, a P is demoted, and the initial A becomes the S of an intransitive construction, or keeps the role of A after a double-P construction.
Equations
- One or more equations did not get rendered due to their size.
Instances For
S-denucleativization: the initial construction is intransitive and its S is demoted.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Decausativization: the initial construction is transitive, its A is suppressed from participant structure, its P becomes the S of an intransitive construction, and nothing is nucleativized.
Equations
- One or more equations did not get rendered due to their size.
Instances For
A-nucleativization: a participant is nucleativized and takes over the role of A or S, and the participant coded as A or S in the initial construction is coded as P or denucleativized. Causativization in the narrow sense of chapter 12, where the new participant instigates or controls the event, the A-nucleativization of an instrumental oblique, and concernativization, where the new participant is a concernee of the initial S or P, share this structure and differ in the new participant's semantic relation to the event, which is not modelled.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Reflexivization and reciprocalization: two participant roles expressed as A and P, or as S and a dative oblique, in the initial construction are cumulated by the S term of the derived construction. Whether the S refers to an individual or to a group is not modelled.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Applicativization: the participant coded as A or S in the initial construction keeps the role of A or S, and the derived construction expresses, in a role other than A or S, an applied participant that the initial construction did not express that way.
Equations
- One or more equations did not get rendered due to their size.
Instances For
P-applicativization: the applied phrase is a P, so the initial A or S is the A of the derived transitive construction.
Equations
- One or more equations did not get rendered due to their size.
Instances For
D-applicativization: the applied phrase is a dative oblique.
Equations
- Creissels2024.DApplicativization c d applied = (Creissels2024.Applicativization c d applied ∧ d applied = Creissels2024.Status.dative)
Instances For
X-applicativization: the applied phrase is an ordinary oblique.
Equations
- Creissels2024.XApplicativization c d applied = (Creissels2024.Applicativization c d applied ∧ d applied = Creissels2024.Status.term Voice.TermRole.X)
Instances For
Portative derivation: an intransitive verb of motion becomes transitive, its S the A of the derived construction and a carried entity its P.
Equations
- One or more equations did not get rendered due to their size.
Instances For
A symmetrical voice alternation selects a pivot without changing which participants are core terms.
Equations
- Creissels2024.Symmetrical c d = ∀ (i : ι), (c i).Nuclear ↔ (d i).Nuclear
Instances For
Equations
- Creissels2024.instDecidableDemoted c d i = id inferInstance
Equations
- Creissels2024.instDecidablePassivization c d = id inferInstance
Equations
- Creissels2024.instDecidableIPassivization c d = id inferInstance
Equations
- Creissels2024.instDecidableAntipassivization c d = id inferInstance
Equations
- Creissels2024.instDecidableSDenucleativization c d = id inferInstance
Equations
- Creissels2024.instDecidableDecausativization c d = id inferInstance
Equations
- Creissels2024.instDecidableANucleativization c d i = id inferInstance
Equations
- Creissels2024.instDecidableCumulation c d = id inferInstance
Equations
- Creissels2024.instDecidableApplicativization c d i = id inferInstance
Equations
- Creissels2024.instDecidablePApplicativization c d i = id inferInstance
Equations
- Creissels2024.instDecidableDApplicativization c d i = id inferInstance
Equations
- Creissels2024.instDecidableXApplicativization c d i = id inferInstance
Equations
- Creissels2024.instDecidablePortative c d i = id inferInstance
Equations
- Creissels2024.instDecidableSymmetrical c d = id inferInstance
Decausativization modifies participant structure: the initial A leaves it.
The maintenance of the initial A in participant structure separates passivization from decausativization.
S-denucleativization leaves no core term when the initial construction has no core term but its S.
Portative derivation is not causativization in the narrow sense: the initial S is the A of the one and the P of the other.
A symmetrical voice nucleativizes nothing.
A symmetrical voice denucleativizes nothing.
A symmetrical voice is not a passivization, nor any type defined by denucleativization.
A symmetrical voice is not an A-nucleativization, nor any type defined by nucleativization.
The substrate's summary records #
The fate of an initial core term, read off the two constructions: suppressed when it leaves participant structure, cumulated when it shares its derived core term with another initial core term, maintained when it remains a core term, denucleativized otherwise.
Equations
- One or more equations did not get rendered due to their size.
Instances For
A summary record of the substrate describes a pair of constructions when the fates it records are those of the initial A, P and S, a role it records as absent is absent, the participant it introduces is the one the derived construction introduces, and the transitivity it fixes is the constructions'.
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.
Alignment and the Obligatory Coding Principle (§1.3.4) #
Equations
- Creissels2024.instDecidableEqFlag 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.
- Creissels2024.instReprFlag.repr Creissels2024.Flag.zero prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Creissels2024.Flag.zero")).group prec✝
Instances For
Equations
- Creissels2024.instReprFlag = { reprPrec := Creissels2024.instReprFlag.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Creissels2024.instReprCoding = { reprPrec := Creissels2024.instReprCoding.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
The alignment of an intransitive construction whose S carries a flag: with A, with P, or neither.
Equations
- t.alignment s = if s = t.a then some Voice.Alignment.A_alignment else if s = t.p then some Voice.Alignment.P_alignment else none
Instances For
A flag aligns with A exactly when it is the A flag.
A flag aligns with P exactly when it is the P flag.
The Obligatory Coding Principle, over the intransitive constructions of the examples: a flag of the transitive construction that every verb assigns to one of its participants, here every intransitive verb through its S.
Equations
- Creissels2024.ObligatoryCoding t ss k = ((k = t.a ∨ k = t.p) ∧ ∀ s ∈ ss, s = k)
Instances For
An obligatory A-coding language, the consistently accusative type.
Equations
- Creissels2024.ObligatoryACoding t ss = Creissels2024.ObligatoryCoding t ss t.a
Instances For
An obligatory P-coding language, the consistently ergative type.
Equations
- Creissels2024.ObligatoryPCoding t ss = Creissels2024.ObligatoryCoding t ss t.p
Instances For
A split-S language: some intransitive constructions align with A and some with P.
Equations
- Creissels2024.SplitS t ss = ((∃ s ∈ ss, t.alignment s = some Voice.Alignment.A_alignment) ∧ ∃ s ∈ ss, t.alignment s = some Voice.Alignment.P_alignment)
Instances For
Equations
- Creissels2024.instDecidableObligatoryCoding t ss k = id inferInstance
Equations
- Creissels2024.instDecidableObligatoryACoding t ss = id inferInstance
Equations
- Creissels2024.instDecidableObligatoryPCoding t ss = id inferInstance
Equations
- Creissels2024.instDecidableSplitS t ss = id inferInstance
Over the S flags alone, obligatory A-coding is A-alignment throughout.
Over the S flags alone, obligatory P-coding is P-alignment throughout.
A split-S language is not obligatory A-coding.
A split-S language is not obligatory P-coding.
The book's examples #
The types of voice alternation the book names, symmetrical voices included.
- passivization : Kind
- iPassivization : Kind
- antipassivization : Kind
- sDenucleativization : Kind
- decausativization : Kind
- causativization : Kind
- concernativization : Kind
- aNucleativization : Kind
- reflexivization : Kind
- reciprocalization : Kind
- pApplicativization : Kind
- dApplicativization : Kind
- xApplicativization : Kind
- portative : Kind
- symmetrical : Kind
Instances For
Equations
- Creissels2024.instDecidableEqKind 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
- Creissels2024.instReprKind = { reprPrec := Creissels2024.instReprKind.repr }
Equations
- Creissels2024.instFintypeKind = { elems := { val := ↑Creissels2024.Kind.enumList, nodup := Creissels2024.Kind.enumList_nodup }, complete := Creissels2024.instFintypeKind._proof_1 }
Whether a pair of constructions realizes a type, given the participant the type singles out; the three A-nucleativizations and the two cumulations share their structure.
Equations
- Creissels2024.Kind.Realize c d Creissels2024.Kind.passivization x✝ = Creissels2024.Passivization c d
- Creissels2024.Kind.Realize c d Creissels2024.Kind.iPassivization x✝ = Creissels2024.IPassivization c d
- Creissels2024.Kind.Realize c d Creissels2024.Kind.antipassivization x✝ = Creissels2024.Antipassivization c d
- Creissels2024.Kind.Realize c d Creissels2024.Kind.sDenucleativization x✝ = Creissels2024.SDenucleativization c d
- Creissels2024.Kind.Realize c d Creissels2024.Kind.decausativization x✝ = Creissels2024.Decausativization c d
- Creissels2024.Kind.Realize c d Creissels2024.Kind.causativization (some i) = Creissels2024.ANucleativization c d i
- Creissels2024.Kind.Realize c d Creissels2024.Kind.concernativization (some i) = Creissels2024.ANucleativization c d i
- Creissels2024.Kind.Realize c d Creissels2024.Kind.aNucleativization (some i) = Creissels2024.ANucleativization c d i
- Creissels2024.Kind.Realize c d Creissels2024.Kind.reflexivization x✝ = Creissels2024.Cumulation c d
- Creissels2024.Kind.Realize c d Creissels2024.Kind.reciprocalization x✝ = Creissels2024.Cumulation c d
- Creissels2024.Kind.Realize c d Creissels2024.Kind.pApplicativization (some i) = Creissels2024.PApplicativization c d i
- Creissels2024.Kind.Realize c d Creissels2024.Kind.dApplicativization (some i) = Creissels2024.DApplicativization c d i
- Creissels2024.Kind.Realize c d Creissels2024.Kind.xApplicativization (some i) = Creissels2024.XApplicativization c d i
- Creissels2024.Kind.Realize c d Creissels2024.Kind.portative (some i) = Creissels2024.Portative c d i
- Creissels2024.Kind.Realize c d Creissels2024.Kind.symmetrical x✝ = Creissels2024.Symmetrical c d
- Creissels2024.Kind.Realize c d x✝ none = False
Instances For
Equations
- One or more equations did not get rendered due to their size.
The types by name.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The statuses by name.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The participant slots of a row by name.
Equations
- Creissels2024.slotNames = [("p1", 0), ("p2", 1), ("p3", 2), ("p4", 3), ("p5", 4)]
Instances For
The flags by name.
Equations
- Creissels2024.flagNames = [("zero", Creissels2024.Flag.zero), ("accusative", Creissels2024.Flag.accusative), ("ergative", Creissels2024.Flag.ergative)]
Instances For
The markings by name.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The construction a row describes over its five participant slots, absent where unlisted.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The status of one slot.
Equations
Instances For
The rows of the same example whose variant the row names under a key: its initial construction, or the transitive use of a flexivalent verb.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The S flags of a language's intransitive examples.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The A and P flags of a language's transitive example.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The types a marker of a language codes across the book's examples.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Every label the rows carry parses to a type.
Every initial construction or transitive use a row names is a row of the same example.
Every derived construction of the book's examples realizes the type the book assigns it, relative to its initial construction.
A symmetrical voice selects a different, expressed participant as pivot.
Each substrate record with the book's initial and derived example of its type.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The book's defining example of each type is described by the substrate's record of it.
Mandinka (13) of chapter 1: 'repair' takes A and P, 'forget' takes S and a postpositional oblique.
Russian (23) is obligatory A-coding, Avar (24) obligatory P-coding, and Basque (22), with an ergative S beside a zero-flagged one, split-S and neither.
The uncoded alternations of Bambara (2), (3) and Basque (4), which the book calls P-ambitransitivity for Basque and describes in the same terms as the Tswana passive for Bambara, are P-ambitransitivity: the initial P is the S of an intransitive construction and the initial A is not a core term; Bambara's preserves participant structure, with the agent an optional oblique, and Basque's does not.
Tswana -w codes passivization, its impersonal variant and S-denucleativization; Tswana -ɛl codes P-applicativization, X-applicativization and the A-nucleativization of an oblique; Tswana -is codes causativization and, in chapter 12, portative derivation; Diré Songhay -ndi codes causativization and passivization.
Tswana (38): passivizing the applicative of the causative is the composite of the three alternations, through (38d) and (38e).
Classical Nahuatl (39): the passive of the antipassive of the causative, through (39b) and (39c).
Passivization need not yield an intransitive construction: the passive (38f) of the double-P applicative (38c) is transitive, the applied P taking A coding.
The Balinese causative (51) nucleativizes a causer and denucleativizes the initial P, the initial A taking the role of P: its valency is unchanged.
Portative derivation in Tswana (3) of chapter 12: the woman who brought the food came, and the food, which cannot come, is not the initial S.
Symmetrical voice systems (§8.5) #
Balinese (47): a binary symmetrical system, agent voice and patient voice.
Equations
- Creissels2024.balineseVoices = [{ name := "agent voice", promotes := Voice.PivotTarget.agent }, { name := "patient voice", promotes := Voice.PivotTarget.patient }]
Instances For
Tagalog (48): a multiple symmetrical system whose locative, conveyance and instrumental voices select an oblique as pivot; the substrate has no conveyance pivot, so the conveyance voice, whose pivot is a beneficiary or a displaced theme, is entered as benefactive.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Only the multiple system lets an oblique be the pivot.