Chuj Voice System Profile

Theory-neutral typological profile of the Chuj voice system: a voice inventory any framework can consume via the Voice.* queries. Chuj is four-way asymmetrical (Ø, -w, -ch, -j) — active transitive Ø is basic (√TV roots form bare transitive stems), and each voice form is built directly from root + v/Voice⁰ rather than derived from another ([Coo19] p. 77), a caveat on the derivational reading of the symmetry binary. The promotes field records which argument surfaces as the sole absolutive argument of the derived stem, not movement to a pivot position: unlike pivot systems (Toba Batak, Tagalog), Chuj voice controls whether the external argument is overt, implicit, or absent.

Main declarations

• Chuj.VoiceSuffix: the four voice suffixes (Ø, -ch, -j, -w).
• Chuj.VoiceSystem.voices: the four voice entries.
• Chuj.VoiceSystem.symmetry: the asymmetrical classification.

inductive Chuj.VoiceSuffix : Type

The four voice suffixes in Chuj (ex. (78), p. 76). -ch and -w are [Coo19]'s decomposed morphemes: the attested stems are -chaj and -waj, analyzed as -ch and -w plus -aj (table (58), p. 66; §4.2).

• null : VoiceSuffix

  Ø: active transitive.

• ch : VoiceSuffix

  -ch: passive with implicit agent.

• j : VoiceSuffix

  -j: agentless passive.

• w : VoiceSuffix

  -w: antipassive / verbalizer.

@[instance_reducible]

instance Chuj.instDecidableEqVoiceSuffix : DecidableEq VoiceSuffix

Equations

• Chuj.instDecidableEqVoiceSuffix x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Chuj.instReprVoiceSuffix.repr : VoiceSuffix → ℕ → Std.Format

Equations

• Chuj.instReprVoiceSuffix.repr Chuj.VoiceSuffix.null prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Chuj.VoiceSuffix.null")).group prec✝
• Chuj.instReprVoiceSuffix.repr Chuj.VoiceSuffix.ch prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Chuj.VoiceSuffix.ch")).group prec✝
• Chuj.instReprVoiceSuffix.repr Chuj.VoiceSuffix.j prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Chuj.VoiceSuffix.j")).group prec✝
• Chuj.instReprVoiceSuffix.repr Chuj.VoiceSuffix.w prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Chuj.VoiceSuffix.w")).group prec✝

@[instance_reducible]

instance Chuj.instReprVoiceSuffix : Repr VoiceSuffix

Equations

• Chuj.instReprVoiceSuffix = { reprPrec := Chuj.instReprVoiceSuffix.repr }

Voice inventory

def Chuj.VoiceSystem.voices : List Voice.VoiceEntry

The voices of Chuj: active (basic), agentive intransitive, passive, agentless passive.

Equations

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

def Chuj.VoiceSystem.symmetry : Voice.VoiceSystemSymmetry

Chuj is asymmetrical — active transitive Ø is the basic voice.

Equations

• Chuj.VoiceSystem.symmetry = Voice.VoiceSystemSymmetry.asymmetrical

theorem Chuj.chuj_voice_system_asymmetrical : VoiceSystem.symmetry = Voice.VoiceSystemSymmetry.asymmetrical

theorem Chuj.chuj_voice_count : Voice.voiceCount VoiceSystem.voices = 4

theorem Chuj.chuj_not_simple_active_passive : ¬Voice.isActivePassive VoiceSystem.voices

Chuj is NOT a simple active/passive: it has 4 voices, not 2.

theorem Chuj.chuj_no_oblique_pivots : ¬Voice.distinguishesObliques VoiceSystem.voices