Japanese Verb Suffix Template

[KIKY13]

The Japanese verb suffix template over Japanese's own slot inventory (VerbSlot), following [KIKY13] and the UD segmentation: seven slots, stem-outward. The comparison into [Byb85]'s inventory is the hom VerbSlot.toMorphCategory — the analytical commitments (politeness as subject agreement, desiderative as mood) live in the hom, not in the slot data; verbAffixTemplate is the derived image.

Slot	VerbSlot	Morpheme
1	derivation	-su (suru)
2	valence	-(s)ase (causative)
3	voice	-are, -rare (passive/potential)
4	desiderative	-ta
5	politeness	-mas
6	negation	-na
7	tense	-ta (past), -yoo (future)

inductive Japanese.VerbSlot : Type

Japanese verb suffix slots, language-owned ([KIKY13], UD segmentation).

• derivation : VerbSlot
• valence : VerbSlot
• voice : VerbSlot
• desiderative : VerbSlot
• politeness : VerbSlot
• negation : VerbSlot
• tense : VerbSlot

@[instance_reducible]

instance Japanese.instDecidableEqVerbSlot : DecidableEq VerbSlot

Equations

• Japanese.instDecidableEqVerbSlot x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Japanese.instReprVerbSlot.repr : VerbSlot → ℕ → Std.Format

Equations

• One or more equations did not get rendered due to their size.
• Japanese.instReprVerbSlot.repr Japanese.VerbSlot.valence prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Japanese.VerbSlot.valence")).group prec✝
• Japanese.instReprVerbSlot.repr Japanese.VerbSlot.voice prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Japanese.VerbSlot.voice")).group prec✝
• Japanese.instReprVerbSlot.repr Japanese.VerbSlot.negation prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Japanese.VerbSlot.negation")).group prec✝
• Japanese.instReprVerbSlot.repr Japanese.VerbSlot.tense prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Japanese.VerbSlot.tense")).group prec✝

@[instance_reducible]

instance Japanese.instReprVerbSlot : Repr VerbSlot

Equations

• Japanese.instReprVerbSlot = { reprPrec := Japanese.instReprVerbSlot.repr }

def Japanese.verbTemplate : Morphology.AffixTemplate VerbSlot

The verb suffix template over Japanese's own slots, stem-outward. Japanese is strongly suffixing, so there are no prefix slots.

Equations

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

def Japanese.VerbSlot.toMorphCategory : VerbSlot → Morphology.MorphCategory

The comparison hom into [Byb85]'s inventory. The analytical commitments are here, explicitly: politeness ↦ agreement .subj (politeness -mas treated as subject agreement, per [KIKY13]'s segmentation) and desiderative ↦ mood.

Equations

• Japanese.VerbSlot.derivation.toMorphCategory = Morphology.MorphCategory.derivation
• Japanese.VerbSlot.valence.toMorphCategory = Morphology.MorphCategory.valence
• Japanese.VerbSlot.voice.toMorphCategory = Morphology.MorphCategory.voice
• Japanese.VerbSlot.desiderative.toMorphCategory = Morphology.MorphCategory.mood
• Japanese.VerbSlot.politeness.toMorphCategory = Morphology.MorphCategory.agreement Agreement.Controller.subj
• Japanese.VerbSlot.negation.toMorphCategory = Morphology.MorphCategory.negation
• Japanese.VerbSlot.tense.toMorphCategory = Morphology.MorphCategory.tense

def Japanese.verbAffixTemplate : Morphology.AffixTemplate Morphology.MorphCategory

The template in comparative-concept vocabulary: the image of verbTemplate under VerbSlot.toMorphCategory. Derived, not stipulated.

Equations

• Japanese.verbAffixTemplate = { suffixSlots := List.map Japanese.VerbSlot.toMorphCategory Japanese.verbTemplate.suffixSlots }