Morphological Profile Types

Framework-agnostic types for cross-linguistic morphological typology, grounding functions from WALS data, and the MorphProfile structure.

Types correspond to WALS chapters 20--29 plus supplementary chapters (21B, 62A, 79A/B, 80A). Grounding functions map WALS auto-generated data to these coarser local classifications.

inductive Core.Morphology.Fusion : Type

WALS Ch 20: How inflectional formatives are attached to stems.

• isolating : Fusion
• concatenative : Fusion
• nonlinear : Fusion

instance Core.Morphology.instDecidableEqFusion : DecidableEq Fusion

Equations

• Core.Morphology.instDecidableEqFusion x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Core.Morphology.instBEqFusion : BEq Fusion

Equations

• Core.Morphology.instBEqFusion = { beq := Core.Morphology.instBEqFusion.beq }

def Core.Morphology.instBEqFusion.beq : Fusion → Fusion → Bool

Equations

• Core.Morphology.instBEqFusion.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.Morphology.instReprFusion : Repr Fusion

Equations

• Core.Morphology.instReprFusion = { reprPrec := Core.Morphology.instReprFusion.repr }

def Core.Morphology.instReprFusion.repr : Fusion → Nat → Std.Format

Equations

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

inductive Core.Morphology.Exponence : Type

WALS Ch 21: How many grammatical categories a single case formative expresses.

• monoexponential : Exponence
• polyexponential : Exponence
• noCase : Exponence

instance Core.Morphology.instDecidableEqExponence : DecidableEq Exponence

Equations

• Core.Morphology.instDecidableEqExponence x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Core.Morphology.instBEqExponence : BEq Exponence

Equations

• Core.Morphology.instBEqExponence = { beq := Core.Morphology.instBEqExponence.beq }

def Core.Morphology.instBEqExponence.beq : Exponence → Exponence → Bool

Equations

• Core.Morphology.instBEqExponence.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

def Core.Morphology.instReprExponence.repr : Exponence → Nat → Std.Format

Equations

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

instance Core.Morphology.instReprExponence : Repr Exponence

Equations

• Core.Morphology.instReprExponence = { reprPrec := Core.Morphology.instReprExponence.repr }

inductive Core.Morphology.VerbSynthesis : Type

WALS Ch 22: How many inflectional categories are expressed on the verb.

• low : VerbSynthesis
• moderate : VerbSynthesis
• high : VerbSynthesis

instance Core.Morphology.instDecidableEqVerbSynthesis : DecidableEq VerbSynthesis

Equations

• Core.Morphology.instDecidableEqVerbSynthesis x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Core.Morphology.instBEqVerbSynthesis : BEq VerbSynthesis

Equations

• Core.Morphology.instBEqVerbSynthesis = { beq := Core.Morphology.instBEqVerbSynthesis.beq }

def Core.Morphology.instBEqVerbSynthesis.beq : VerbSynthesis → VerbSynthesis → Bool

Equations

• Core.Morphology.instBEqVerbSynthesis.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.Morphology.instReprVerbSynthesis : Repr VerbSynthesis

Equations

• Core.Morphology.instReprVerbSynthesis = { reprPrec := Core.Morphology.instReprVerbSynthesis.repr }

def Core.Morphology.instReprVerbSynthesis.repr : VerbSynthesis → Nat → Std.Format

Equations

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

inductive Core.Morphology.LocusOfMarking : Type

Locus of marking: where grammatical relations are marked. Derived from WALS Ch 25A @cite{nichols-bickel-2013a}.

• headMarking : LocusOfMarking
• dependentMarking : LocusOfMarking
• doubleMarking : LocusOfMarking
• zeroMarking : LocusOfMarking
• inconsistentOrOther : LocusOfMarking

instance Core.Morphology.instDecidableEqLocusOfMarking : DecidableEq LocusOfMarking

Equations

• Core.Morphology.instDecidableEqLocusOfMarking x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Core.Morphology.instBEqLocusOfMarking.beq : LocusOfMarking → LocusOfMarking → Bool

Equations

• Core.Morphology.instBEqLocusOfMarking.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.Morphology.instBEqLocusOfMarking : BEq LocusOfMarking

Equations

• Core.Morphology.instBEqLocusOfMarking = { beq := Core.Morphology.instBEqLocusOfMarking.beq }

def Core.Morphology.instReprLocusOfMarking.repr : LocusOfMarking → Nat → Std.Format

Equations

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

instance Core.Morphology.instReprLocusOfMarking : Repr LocusOfMarking

Equations

• Core.Morphology.instReprLocusOfMarking = { reprPrec := Core.Morphology.instReprLocusOfMarking.repr }

inductive Core.Morphology.PrefixSuffix : Type

WALS Ch 26: Whether a language predominantly uses prefixes or suffixes.

• stronglySuffixing : PrefixSuffix
• weaklySuffixing : PrefixSuffix
• equalPrefixSuffix : PrefixSuffix
• weaklyPrefixing : PrefixSuffix
• stronglyPrefixing : PrefixSuffix
• littleAffixation : PrefixSuffix

instance Core.Morphology.instDecidableEqPrefixSuffix : DecidableEq PrefixSuffix

Equations

• Core.Morphology.instDecidableEqPrefixSuffix x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Core.Morphology.instBEqPrefixSuffix : BEq PrefixSuffix

Equations

• Core.Morphology.instBEqPrefixSuffix = { beq := Core.Morphology.instBEqPrefixSuffix.beq }

def Core.Morphology.instBEqPrefixSuffix.beq : PrefixSuffix → PrefixSuffix → Bool

Equations

• Core.Morphology.instBEqPrefixSuffix.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.Morphology.instReprPrefixSuffix : Repr PrefixSuffix

Equations

• Core.Morphology.instReprPrefixSuffix = { reprPrec := Core.Morphology.instReprPrefixSuffix.repr }

def Core.Morphology.instReprPrefixSuffix.repr : PrefixSuffix → Nat → Std.Format

Equations

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

inductive Core.Morphology.Reduplication : Type

WALS Ch 27: Whether the language has productive reduplication.

• productiveFull : Reduplication
• fullOnly : Reduplication
• noProductive : Reduplication

instance Core.Morphology.instDecidableEqReduplication : DecidableEq Reduplication

Equations

• Core.Morphology.instDecidableEqReduplication x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Core.Morphology.instBEqReduplication.beq : Reduplication → Reduplication → Bool

Equations

• Core.Morphology.instBEqReduplication.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.Morphology.instBEqReduplication : BEq Reduplication

Equations

• Core.Morphology.instBEqReduplication = { beq := Core.Morphology.instBEqReduplication.beq }

def Core.Morphology.instReprReduplication.repr : Reduplication → Nat → Std.Format

Equations

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

instance Core.Morphology.instReprReduplication : Repr Reduplication

Equations

• Core.Morphology.instReprReduplication = { reprPrec := Core.Morphology.instReprReduplication.repr }

inductive Core.Morphology.LocusClause : Type

WALS Ch 23: Where grammatical relations are marked in clausal syntax. @cite{nichols-bickel-2013b}

• headMarking : LocusClause
• dependentMarking : LocusClause
• doubleMarking : LocusClause
• noMarking : LocusClause
• other : LocusClause

instance Core.Morphology.instDecidableEqLocusClause : DecidableEq LocusClause

Equations

• Core.Morphology.instDecidableEqLocusClause x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Core.Morphology.instBEqLocusClause.beq : LocusClause → LocusClause → Bool

Equations

• Core.Morphology.instBEqLocusClause.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.Morphology.instBEqLocusClause : BEq LocusClause

Equations

• Core.Morphology.instBEqLocusClause = { beq := Core.Morphology.instBEqLocusClause.beq }

def Core.Morphology.instReprLocusClause.repr : LocusClause → Nat → Std.Format

Equations

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

instance Core.Morphology.instReprLocusClause : Repr LocusClause

Equations

• Core.Morphology.instReprLocusClause = { reprPrec := Core.Morphology.instReprLocusClause.repr }

inductive Core.Morphology.LocusPossessive : Type

WALS Ch 24: Where grammatical relations are marked in possessive NPs. @cite{nichols-bickel-2013c}

• headMarking : LocusPossessive
• dependentMarking : LocusPossessive
• doubleMarking : LocusPossessive
• noMarking : LocusPossessive
• other : LocusPossessive

instance Core.Morphology.instDecidableEqLocusPossessive : DecidableEq LocusPossessive

Equations

• Core.Morphology.instDecidableEqLocusPossessive x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Core.Morphology.instBEqLocusPossessive.beq : LocusPossessive → LocusPossessive → Bool

Equations

• Core.Morphology.instBEqLocusPossessive.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.Morphology.instBEqLocusPossessive : BEq LocusPossessive

Equations

• Core.Morphology.instBEqLocusPossessive = { beq := Core.Morphology.instBEqLocusPossessive.beq }

def Core.Morphology.instReprLocusPossessive.repr : LocusPossessive → Nat → Std.Format

Equations

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

instance Core.Morphology.instReprLocusPossessive : Repr LocusPossessive

Equations

• Core.Morphology.instReprLocusPossessive = { reprPrec := Core.Morphology.instReprLocusPossessive.repr }

inductive Core.Morphology.WholeLanguageMarking : Type

WALS Ch 25A: Whole-language locus-of-marking classification. @cite{nichols-bickel-2013a}

• headMarking : WholeLanguageMarking
• dependentMarking : WholeLanguageMarking
• doubleMarking : WholeLanguageMarking
• zeroMarking : WholeLanguageMarking
• inconsistentOrOther : WholeLanguageMarking

instance Core.Morphology.instDecidableEqWholeLanguageMarking : DecidableEq WholeLanguageMarking

Equations

• Core.Morphology.instDecidableEqWholeLanguageMarking x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Core.Morphology.instBEqWholeLanguageMarking.beq : WholeLanguageMarking → WholeLanguageMarking → Bool

Equations

• Core.Morphology.instBEqWholeLanguageMarking.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.Morphology.instBEqWholeLanguageMarking : BEq WholeLanguageMarking

Equations

• Core.Morphology.instBEqWholeLanguageMarking = { beq := Core.Morphology.instBEqWholeLanguageMarking.beq }

def Core.Morphology.instReprWholeLanguageMarking.repr : WholeLanguageMarking → Nat → Std.Format

Equations

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

instance Core.Morphology.instReprWholeLanguageMarking : Repr WholeLanguageMarking

Equations

• Core.Morphology.instReprWholeLanguageMarking = { reprPrec := Core.Morphology.instReprWholeLanguageMarking.repr }

inductive Core.Morphology.ZeroMarkingAP : Type

WALS Ch 25B: Whether A and P arguments are zero-marked. @cite{nichols-bickel-2013d}

• zeroMarking : ZeroMarkingAP
• nonZeroMarking : ZeroMarkingAP

instance Core.Morphology.instDecidableEqZeroMarkingAP : DecidableEq ZeroMarkingAP

Equations

• Core.Morphology.instDecidableEqZeroMarkingAP x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Core.Morphology.instBEqZeroMarkingAP : BEq ZeroMarkingAP

Equations

• Core.Morphology.instBEqZeroMarkingAP = { beq := Core.Morphology.instBEqZeroMarkingAP.beq }

def Core.Morphology.instBEqZeroMarkingAP.beq : ZeroMarkingAP → ZeroMarkingAP → Bool

Equations

• Core.Morphology.instBEqZeroMarkingAP.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

def Core.Morphology.instReprZeroMarkingAP.repr : ZeroMarkingAP → Nat → Std.Format

Equations

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

instance Core.Morphology.instReprZeroMarkingAP : Repr ZeroMarkingAP

Equations

• Core.Morphology.instReprZeroMarkingAP = { reprPrec := Core.Morphology.instReprZeroMarkingAP.repr }

inductive Core.Morphology.CaseSyncretism : Type

WALS Ch 28: Whether a language exhibits case syncretism.

• noCaseMarking : CaseSyncretism
• coreCasesOnly : CaseSyncretism
• coreAndNonCore : CaseSyncretism
• noSyncretism : CaseSyncretism

instance Core.Morphology.instDecidableEqCaseSyncretism : DecidableEq CaseSyncretism

Equations

• Core.Morphology.instDecidableEqCaseSyncretism x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Core.Morphology.instBEqCaseSyncretism : BEq CaseSyncretism

Equations

• Core.Morphology.instBEqCaseSyncretism = { beq := Core.Morphology.instBEqCaseSyncretism.beq }

def Core.Morphology.instBEqCaseSyncretism.beq : CaseSyncretism → CaseSyncretism → Bool

Equations

• Core.Morphology.instBEqCaseSyncretism.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.Morphology.instReprCaseSyncretism : Repr CaseSyncretism

Equations

• Core.Morphology.instReprCaseSyncretism = { reprPrec := Core.Morphology.instReprCaseSyncretism.repr }

def Core.Morphology.instReprCaseSyncretism.repr : CaseSyncretism → Nat → Std.Format

Equations

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

inductive Core.Morphology.VerbalSyncretism : Type

WALS Ch 29: Whether a language exhibits syncretism in verbal person/number.

• noSubjectMarking : VerbalSyncretism
• syncretic : VerbalSyncretism
• notSyncretic : VerbalSyncretism

instance Core.Morphology.instDecidableEqVerbalSyncretism : DecidableEq VerbalSyncretism

Equations

• Core.Morphology.instDecidableEqVerbalSyncretism x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Core.Morphology.instBEqVerbalSyncretism.beq : VerbalSyncretism → VerbalSyncretism → Bool

Equations

• Core.Morphology.instBEqVerbalSyncretism.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.Morphology.instBEqVerbalSyncretism : BEq VerbalSyncretism

Equations

• Core.Morphology.instBEqVerbalSyncretism = { beq := Core.Morphology.instBEqVerbalSyncretism.beq }

def Core.Morphology.instReprVerbalSyncretism.repr : VerbalSyncretism → Nat → Std.Format

Equations

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

instance Core.Morphology.instReprVerbalSyncretism : Repr VerbalSyncretism

Equations

• Core.Morphology.instReprVerbalSyncretism = { reprPrec := Core.Morphology.instReprVerbalSyncretism.repr }

inductive Core.Morphology.TAMExponence : Type

WALS Ch 21B: What categories co-occur with TAM in a single formative.

• monoexponential : TAMExponence
• tamAgreement : TAMExponence
• tamAgreementDiathesis : TAMExponence
• tamAgreementConstruct : TAMExponence
• tamPolarity : TAMExponence
• noTam : TAMExponence

instance Core.Morphology.instDecidableEqTAMExponence : DecidableEq TAMExponence

Equations

• Core.Morphology.instDecidableEqTAMExponence x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Core.Morphology.instBEqTAMExponence : BEq TAMExponence

Equations

• Core.Morphology.instBEqTAMExponence = { beq := Core.Morphology.instBEqTAMExponence.beq }

def Core.Morphology.instBEqTAMExponence.beq : TAMExponence → TAMExponence → Bool

Equations

• Core.Morphology.instBEqTAMExponence.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.Morphology.instReprTAMExponence : Repr TAMExponence

Equations

• Core.Morphology.instReprTAMExponence = { reprPrec := Core.Morphology.instReprTAMExponence.repr }

def Core.Morphology.instReprTAMExponence.repr : TAMExponence → Nat → Std.Format

Equations

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

inductive Core.Morphology.ActionNominal : Type

WALS Ch 62: How a language constructs action nominals.

• sentential : ActionNominal
• possessiveAccusative : ActionNominal
• ergativePossessive : ActionNominal
• doublePossessive : ActionNominal
• other : ActionNominal
• mixed : ActionNominal
• restricted : ActionNominal
• noActionNominals : ActionNominal

instance Core.Morphology.instDecidableEqActionNominal : DecidableEq ActionNominal

Equations

• Core.Morphology.instDecidableEqActionNominal x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Core.Morphology.instBEqActionNominal : BEq ActionNominal

Equations

• Core.Morphology.instBEqActionNominal = { beq := Core.Morphology.instBEqActionNominal.beq }

def Core.Morphology.instBEqActionNominal.beq : ActionNominal → ActionNominal → Bool

Equations

• Core.Morphology.instBEqActionNominal.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

def Core.Morphology.instReprActionNominal.repr : ActionNominal → Nat → Std.Format

Equations

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

instance Core.Morphology.instReprActionNominal : Repr ActionNominal

Equations

• Core.Morphology.instReprActionNominal = { reprPrec := Core.Morphology.instReprActionNominal.repr }

inductive Core.Morphology.SuppletionTA : Type

WALS Ch 79A: Whether suppletion is conditioned by tense, aspect, or both.

• tense : SuppletionTA
• aspect : SuppletionTA
• tenseAndAspect : SuppletionTA
• none : SuppletionTA

instance Core.Morphology.instDecidableEqSuppletionTA : DecidableEq SuppletionTA

Equations

• Core.Morphology.instDecidableEqSuppletionTA x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Core.Morphology.instBEqSuppletionTA : BEq SuppletionTA

Equations

• Core.Morphology.instBEqSuppletionTA = { beq := Core.Morphology.instBEqSuppletionTA.beq }

def Core.Morphology.instBEqSuppletionTA.beq : SuppletionTA → SuppletionTA → Bool

Equations

• Core.Morphology.instBEqSuppletionTA.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.Morphology.instReprSuppletionTA : Repr SuppletionTA

Equations

• Core.Morphology.instReprSuppletionTA = { reprPrec := Core.Morphology.instReprSuppletionTA.repr }

def Core.Morphology.instReprSuppletionTA.repr : SuppletionTA → Nat → Std.Format

Equations

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

inductive Core.Morphology.SuppletionImperative : Type

WALS Ch 79B: Whether a language has suppletive imperatives/hortatives.

• alternating : SuppletionImperative
• imperative : SuppletionImperative
• hortative : SuppletionImperative
• imperativeAndHortative : SuppletionImperative
• none : SuppletionImperative

instance Core.Morphology.instDecidableEqSuppletionImperative : DecidableEq SuppletionImperative

Equations

• Core.Morphology.instDecidableEqSuppletionImperative x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Core.Morphology.instBEqSuppletionImperative : BEq SuppletionImperative

Equations

• Core.Morphology.instBEqSuppletionImperative = { beq := Core.Morphology.instBEqSuppletionImperative.beq }

def Core.Morphology.instBEqSuppletionImperative.beq : SuppletionImperative → SuppletionImperative → Bool

Equations

• Core.Morphology.instBEqSuppletionImperative.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.Morphology.instReprSuppletionImperative : Repr SuppletionImperative

Equations

• Core.Morphology.instReprSuppletionImperative = { reprPrec := Core.Morphology.instReprSuppletionImperative.repr }

def Core.Morphology.instReprSuppletionImperative.repr : SuppletionImperative → Nat → Std.Format

Equations

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

inductive Core.Morphology.VerbalNumber : Type

WALS Ch 80A: Whether a language has verbal number marking.

• none : VerbalNumber
• pairsNoSuppletion : VerbalNumber
• pairsSuppletion : VerbalNumber
• triplesNoSuppletion : VerbalNumber
• triplesSuppletion : VerbalNumber

instance Core.Morphology.instDecidableEqVerbalNumber : DecidableEq VerbalNumber

Equations

• Core.Morphology.instDecidableEqVerbalNumber x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Core.Morphology.instBEqVerbalNumber.beq : VerbalNumber → VerbalNumber → Bool

Equations

• Core.Morphology.instBEqVerbalNumber.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Core.Morphology.instBEqVerbalNumber : BEq VerbalNumber

Equations

• Core.Morphology.instBEqVerbalNumber = { beq := Core.Morphology.instBEqVerbalNumber.beq }

def Core.Morphology.instReprVerbalNumber.repr : VerbalNumber → Nat → Std.Format

Equations

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

instance Core.Morphology.instReprVerbalNumber : Repr VerbalNumber

Equations

• Core.Morphology.instReprVerbalNumber = { reprPrec := Core.Morphology.instReprVerbalNumber.repr }

structure Core.Morphology.MorphProfile : Type

A language's morphological profile, combining dimensions from WALS Chapters 20--29 plus supplementary chapters. Required fields are derived from WALS where possible; optional fields are populated when the language appears in the relevant WALS chapter.

• language : String
• iso : String
• fusion : Fusion

  Ch 20: Fusion type

• exponence : Exponence

  Ch 21: Exponence type

• verbSynthesis : VerbSynthesis

  Ch 22: Inflectional synthesis of the verb

• locus : LocusOfMarking

  Locus of marking (derived from Ch 23 clause-level; fallback for absent languages)

• prefixSuffix : PrefixSuffix

  Ch 26: Prefixing vs suffixing

• reduplication : Reduplication

  Ch 27: Productive reduplication

• locusClause : Option LocusClause

  Ch 23: Locus of marking in the clause (optional)

• locusPossessive : Option LocusPossessive

  Ch 24: Locus of marking in possessive NP (optional)

• wholeLanguageMarking : Option WholeLanguageMarking

  Ch 25A: Whole-language marking typology (optional)

• zeroMarkingAP : Option ZeroMarkingAP

  Ch 25B: Zero marking of A and P arguments (optional)

• caseSyncretism : Option CaseSyncretism

  Ch 28: Case syncretism (optional)

• verbalSyncretism : Option VerbalSyncretism

  Ch 29: Syncretism in verbal person/number marking (optional)

• tamExponence : Option TAMExponence

  Ch 21B: Exponence of TAM inflection (optional)

• actionNominal : Option ActionNominal

  Ch 62A: Action nominal constructions (optional)

• suppletionTA : Option SuppletionTA

  Ch 79A: Suppletion according to tense and aspect (optional)

• suppletionImperative : Option SuppletionImperative

  Ch 79B: Suppletion in imperatives and hortatives (optional)

• verbalNumber : Option VerbalNumber

  Ch 80A: Verbal number and suppletion (optional)

instance Core.Morphology.instReprMorphProfile : Repr MorphProfile

Equations

• Core.Morphology.instReprMorphProfile = { reprPrec := Core.Morphology.instReprMorphProfile.repr }

def Core.Morphology.instReprMorphProfile.repr : MorphProfile → Nat → Std.Format

Equations

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

instance Core.Morphology.instDecidableEqMorphProfile : DecidableEq MorphProfile

Equations

• Core.Morphology.instDecidableEqMorphProfile = Core.Morphology.instDecidableEqMorphProfile.decEq

def Core.Morphology.instDecidableEqMorphProfile.decEq (x✝ x✝¹ : MorphProfile) : Decidable (x✝ = x✝¹)

Equations

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

def Core.Morphology.instBEqMorphProfile.beq : MorphProfile → MorphProfile → Bool

Equations

• One or more equations did not get rendered due to their size.
• Core.Morphology.instBEqMorphProfile.beq x✝¹ x✝ = false

instance Core.Morphology.instBEqMorphProfile : BEq MorphProfile

Equations

• Core.Morphology.instBEqMorphProfile = { beq := Core.Morphology.instBEqMorphProfile.beq }

def Core.Morphology.fromWALS20A : WALS.F20A.FusionType → Option Fusion

Convert WALS 20A fusion type to the local three-way Fusion classification. Returns none for mixed categories that do not map cleanly.

Equations

• Core.Morphology.fromWALS20A Core.WALS.F20A.FusionType.exclusivelyConcatenative = some Core.Morphology.Fusion.concatenative
• Core.Morphology.fromWALS20A Core.WALS.F20A.FusionType.exclusivelyIsolating = some Core.Morphology.Fusion.isolating
• Core.Morphology.fromWALS20A Core.WALS.F20A.FusionType.exclusivelyTonal = some Core.Morphology.Fusion.nonlinear
• Core.Morphology.fromWALS20A Core.WALS.F20A.FusionType.ablautConcatenative = some Core.Morphology.Fusion.nonlinear
• Core.Morphology.fromWALS20A Core.WALS.F20A.FusionType.tonalIsolating = none
• Core.Morphology.fromWALS20A Core.WALS.F20A.FusionType.tonalConcatenative = none
• Core.Morphology.fromWALS20A Core.WALS.F20A.FusionType.isolatingConcatenative = none

def Core.Morphology.fromWALS21A : WALS.F21A.ExponenceType → Option Exponence

Convert WALS 21A exponence type to the local Exponence classification. Returns none for noCase (no information about overall exponence).

Equations

• Core.Morphology.fromWALS21A Core.WALS.F21A.ExponenceType.monoexponentialCase = some Core.Morphology.Exponence.monoexponential
• Core.Morphology.fromWALS21A Core.WALS.F21A.ExponenceType.caseNumber = some Core.Morphology.Exponence.polyexponential
• Core.Morphology.fromWALS21A Core.WALS.F21A.ExponenceType.caseReferentiality = some Core.Morphology.Exponence.polyexponential
• Core.Morphology.fromWALS21A Core.WALS.F21A.ExponenceType.caseTam = some Core.Morphology.Exponence.polyexponential
• Core.Morphology.fromWALS21A Core.WALS.F21A.ExponenceType.noCase = none

def Core.Morphology.fromWALS22A : WALS.F22A.InflectionalSynthesis → VerbSynthesis

Convert WALS 22A inflectional synthesis to the local three-way classification.

Equations

• Core.Morphology.fromWALS22A Core.WALS.F22A.InflectionalSynthesis.categoryPerWord0_1 = Core.Morphology.VerbSynthesis.low
• Core.Morphology.fromWALS22A Core.WALS.F22A.InflectionalSynthesis.categoriesPerWord2_3 = Core.Morphology.VerbSynthesis.low
• Core.Morphology.fromWALS22A Core.WALS.F22A.InflectionalSynthesis.categoriesPerWord4_5 = Core.Morphology.VerbSynthesis.moderate
• Core.Morphology.fromWALS22A Core.WALS.F22A.InflectionalSynthesis.categoriesPerWord6_7 = Core.Morphology.VerbSynthesis.moderate
• Core.Morphology.fromWALS22A Core.WALS.F22A.InflectionalSynthesis.categoriesPerWord8_9 = Core.Morphology.VerbSynthesis.high
• Core.Morphology.fromWALS22A Core.WALS.F22A.InflectionalSynthesis.categoriesPerWord10_11 = Core.Morphology.VerbSynthesis.high
• Core.Morphology.fromWALS22A Core.WALS.F22A.InflectionalSynthesis.categoriesPerWord12_13 = Core.Morphology.VerbSynthesis.high

def Core.Morphology.fromWALS26A : WALS.F26A.PrefixSuffixPreference → PrefixSuffix

Equations

• Core.Morphology.fromWALS26A Core.WALS.F26A.PrefixSuffixPreference.littleAffixation = Core.Morphology.PrefixSuffix.littleAffixation
• Core.Morphology.fromWALS26A Core.WALS.F26A.PrefixSuffixPreference.stronglySuffixing = Core.Morphology.PrefixSuffix.stronglySuffixing
• Core.Morphology.fromWALS26A Core.WALS.F26A.PrefixSuffixPreference.weaklySuffixing = Core.Morphology.PrefixSuffix.weaklySuffixing
• Core.Morphology.fromWALS26A Core.WALS.F26A.PrefixSuffixPreference.equalPrefixingAndSuffixing = Core.Morphology.PrefixSuffix.equalPrefixSuffix
• Core.Morphology.fromWALS26A Core.WALS.F26A.PrefixSuffixPreference.weaklyPrefixing = Core.Morphology.PrefixSuffix.weaklyPrefixing
• Core.Morphology.fromWALS26A Core.WALS.F26A.PrefixSuffixPreference.strongPrefixing = Core.Morphology.PrefixSuffix.stronglyPrefixing

def Core.Morphology.fromWALS27A : WALS.F27A.ReduplicationType → Reduplication

Equations

• Core.Morphology.fromWALS27A Core.WALS.F27A.ReduplicationType.productiveFullAndPartialReduplication = Core.Morphology.Reduplication.productiveFull
• Core.Morphology.fromWALS27A Core.WALS.F27A.ReduplicationType.fullReduplicationOnly = Core.Morphology.Reduplication.fullOnly
• Core.Morphology.fromWALS27A Core.WALS.F27A.ReduplicationType.noProductiveReduplication = Core.Morphology.Reduplication.noProductive

def Core.Morphology.fromWALS23A : WALS.F23A.LocusOfMarkingInTheClause → LocusClause

Equations

• Core.Morphology.fromWALS23A Core.WALS.F23A.LocusOfMarkingInTheClause.headMarking = Core.Morphology.LocusClause.headMarking
• Core.Morphology.fromWALS23A Core.WALS.F23A.LocusOfMarkingInTheClause.dependentMarking = Core.Morphology.LocusClause.dependentMarking
• Core.Morphology.fromWALS23A Core.WALS.F23A.LocusOfMarkingInTheClause.doubleMarking = Core.Morphology.LocusClause.doubleMarking
• Core.Morphology.fromWALS23A Core.WALS.F23A.LocusOfMarkingInTheClause.noMarking = Core.Morphology.LocusClause.noMarking
• Core.Morphology.fromWALS23A Core.WALS.F23A.LocusOfMarkingInTheClause.other = Core.Morphology.LocusClause.other

def Core.Morphology.fromWALS24A : WALS.F24A.LocusOfMarkingInPossessiveNounPhrases → LocusPossessive

Equations

• Core.Morphology.fromWALS24A Core.WALS.F24A.LocusOfMarkingInPossessiveNounPhrases.headMarking = Core.Morphology.LocusPossessive.headMarking
• Core.Morphology.fromWALS24A Core.WALS.F24A.LocusOfMarkingInPossessiveNounPhrases.dependentMarking = Core.Morphology.LocusPossessive.dependentMarking
• Core.Morphology.fromWALS24A Core.WALS.F24A.LocusOfMarkingInPossessiveNounPhrases.doubleMarking = Core.Morphology.LocusPossessive.doubleMarking
• Core.Morphology.fromWALS24A Core.WALS.F24A.LocusOfMarkingInPossessiveNounPhrases.noMarking = Core.Morphology.LocusPossessive.noMarking
• Core.Morphology.fromWALS24A Core.WALS.F24A.LocusOfMarkingInPossessiveNounPhrases.other = Core.Morphology.LocusPossessive.other

def Core.Morphology.fromWALS25A : WALS.F25A.LocusOfMarkingWholeLanguageTypology → WholeLanguageMarking

Equations

• Core.Morphology.fromWALS25A Core.WALS.F25A.LocusOfMarkingWholeLanguageTypology.headMarking = Core.Morphology.WholeLanguageMarking.headMarking
• Core.Morphology.fromWALS25A Core.WALS.F25A.LocusOfMarkingWholeLanguageTypology.dependentMarking = Core.Morphology.WholeLanguageMarking.dependentMarking
• Core.Morphology.fromWALS25A Core.WALS.F25A.LocusOfMarkingWholeLanguageTypology.doubleMarking = Core.Morphology.WholeLanguageMarking.doubleMarking
• Core.Morphology.fromWALS25A Core.WALS.F25A.LocusOfMarkingWholeLanguageTypology.zeroMarking = Core.Morphology.WholeLanguageMarking.zeroMarking
• Core.Morphology.fromWALS25A Core.WALS.F25A.LocusOfMarkingWholeLanguageTypology.inconsistentOrOther = Core.Morphology.WholeLanguageMarking.inconsistentOrOther

def Core.Morphology.fromWALS25B : WALS.F25B.ZeroMarkingOfAAndPArguments → ZeroMarkingAP

Equations

• Core.Morphology.fromWALS25B Core.WALS.F25B.ZeroMarkingOfAAndPArguments.zeroMarking = Core.Morphology.ZeroMarkingAP.zeroMarking
• Core.Morphology.fromWALS25B Core.WALS.F25B.ZeroMarkingOfAAndPArguments.nonZeroMarking = Core.Morphology.ZeroMarkingAP.nonZeroMarking

def Core.Morphology.fromWALS28A : WALS.F28A.CaseSyncretism → CaseSyncretism

Equations

• Core.Morphology.fromWALS28A Core.WALS.F28A.CaseSyncretism.noCaseMarking = Core.Morphology.CaseSyncretism.noCaseMarking
• Core.Morphology.fromWALS28A Core.WALS.F28A.CaseSyncretism.coreCasesOnly = Core.Morphology.CaseSyncretism.coreCasesOnly
• Core.Morphology.fromWALS28A Core.WALS.F28A.CaseSyncretism.coreAndNonCore = Core.Morphology.CaseSyncretism.coreAndNonCore
• Core.Morphology.fromWALS28A Core.WALS.F28A.CaseSyncretism.noSyncretism = Core.Morphology.CaseSyncretism.noSyncretism

def Core.Morphology.fromWALS29A : WALS.F29A.SyncretismInVerbalPersonNumberMarking → VerbalSyncretism

Equations

• Core.Morphology.fromWALS29A Core.WALS.F29A.SyncretismInVerbalPersonNumberMarking.noSubjectPersonNumberMarking = Core.Morphology.VerbalSyncretism.noSubjectMarking
• Core.Morphology.fromWALS29A Core.WALS.F29A.SyncretismInVerbalPersonNumberMarking.syncretic = Core.Morphology.VerbalSyncretism.syncretic
• Core.Morphology.fromWALS29A Core.WALS.F29A.SyncretismInVerbalPersonNumberMarking.notSyncretic = Core.Morphology.VerbalSyncretism.notSyncretic

def Core.Morphology.fromWALS21B : WALS.F21B.ExponenceOfTenseAspectMoodInflection → TAMExponence

Equations

• Core.Morphology.fromWALS21B Core.WALS.F21B.ExponenceOfTenseAspectMoodInflection.monoexponentialTam = Core.Morphology.TAMExponence.monoexponential
• Core.Morphology.fromWALS21B Core.WALS.F21B.ExponenceOfTenseAspectMoodInflection.tamAgreement = Core.Morphology.TAMExponence.tamAgreement
• Core.Morphology.fromWALS21B Core.WALS.F21B.ExponenceOfTenseAspectMoodInflection.tamAgreementDiathesis = Core.Morphology.TAMExponence.tamAgreementDiathesis
• Core.Morphology.fromWALS21B Core.WALS.F21B.ExponenceOfTenseAspectMoodInflection.tamAgreementConstruct = Core.Morphology.TAMExponence.tamAgreementConstruct
• Core.Morphology.fromWALS21B Core.WALS.F21B.ExponenceOfTenseAspectMoodInflection.tamPolarity = Core.Morphology.TAMExponence.tamPolarity
• Core.Morphology.fromWALS21B Core.WALS.F21B.ExponenceOfTenseAspectMoodInflection.noTam = Core.Morphology.TAMExponence.noTam

def Core.Morphology.fromWALS62A : WALS.F62A.ActionNominalConstructions → ActionNominal

Equations

• Core.Morphology.fromWALS62A Core.WALS.F62A.ActionNominalConstructions.sentential = Core.Morphology.ActionNominal.sentential
• Core.Morphology.fromWALS62A Core.WALS.F62A.ActionNominalConstructions.possessiveAccusative = Core.Morphology.ActionNominal.possessiveAccusative
• Core.Morphology.fromWALS62A Core.WALS.F62A.ActionNominalConstructions.ergativePossessive = Core.Morphology.ActionNominal.ergativePossessive
• Core.Morphology.fromWALS62A Core.WALS.F62A.ActionNominalConstructions.doublePossessive = Core.Morphology.ActionNominal.doublePossessive
• Core.Morphology.fromWALS62A Core.WALS.F62A.ActionNominalConstructions.other = Core.Morphology.ActionNominal.other
• Core.Morphology.fromWALS62A Core.WALS.F62A.ActionNominalConstructions.mixed = Core.Morphology.ActionNominal.mixed
• Core.Morphology.fromWALS62A Core.WALS.F62A.ActionNominalConstructions.restricted = Core.Morphology.ActionNominal.restricted
• Core.Morphology.fromWALS62A Core.WALS.F62A.ActionNominalConstructions.noActionNominals = Core.Morphology.ActionNominal.noActionNominals

def Core.Morphology.fromWALS79A : WALS.F79A.SuppletionAccordingToTenseAndAspect → SuppletionTA

Equations

• Core.Morphology.fromWALS79A Core.WALS.F79A.SuppletionAccordingToTenseAndAspect.tense = Core.Morphology.SuppletionTA.tense
• Core.Morphology.fromWALS79A Core.WALS.F79A.SuppletionAccordingToTenseAndAspect.aspect = Core.Morphology.SuppletionTA.aspect
• Core.Morphology.fromWALS79A Core.WALS.F79A.SuppletionAccordingToTenseAndAspect.tenseAndAspect = Core.Morphology.SuppletionTA.tenseAndAspect
• Core.Morphology.fromWALS79A Core.WALS.F79A.SuppletionAccordingToTenseAndAspect.none = Core.Morphology.SuppletionTA.none

def Core.Morphology.fromWALS79B : WALS.F79B.SuppletionInImperativesAndHortatives → SuppletionImperative

Equations

• Core.Morphology.fromWALS79B Core.WALS.F79B.SuppletionInImperativesAndHortatives.aRegularAndASuppletiveFormAlternate = Core.Morphology.SuppletionImperative.alternating
• Core.Morphology.fromWALS79B Core.WALS.F79B.SuppletionInImperativesAndHortatives.imperative = Core.Morphology.SuppletionImperative.imperative
• Core.Morphology.fromWALS79B Core.WALS.F79B.SuppletionInImperativesAndHortatives.hortative = Core.Morphology.SuppletionImperative.hortative
• Core.Morphology.fromWALS79B Core.WALS.F79B.SuppletionInImperativesAndHortatives.imperativeAndHortative = Core.Morphology.SuppletionImperative.imperativeAndHortative
• Core.Morphology.fromWALS79B Core.WALS.F79B.SuppletionInImperativesAndHortatives.none = Core.Morphology.SuppletionImperative.none

def Core.Morphology.fromWALS80A : WALS.F80A.VerbalNumberAndSuppletion → VerbalNumber

Equations

• Core.Morphology.fromWALS80A Core.WALS.F80A.VerbalNumberAndSuppletion.none = Core.Morphology.VerbalNumber.none
• Core.Morphology.fromWALS80A Core.WALS.F80A.VerbalNumberAndSuppletion.singularPluralPairsNoSuppletion = Core.Morphology.VerbalNumber.pairsNoSuppletion
• Core.Morphology.fromWALS80A Core.WALS.F80A.VerbalNumberAndSuppletion.singularPluralPairsSuppletion = Core.Morphology.VerbalNumber.pairsSuppletion
• Core.Morphology.fromWALS80A Core.WALS.F80A.VerbalNumberAndSuppletion.singularDualPluralTriplesNoSuppletion = Core.Morphology.VerbalNumber.triplesNoSuppletion
• Core.Morphology.fromWALS80A Core.WALS.F80A.VerbalNumberAndSuppletion.singularDualPluralTriplesSuppletion = Core.Morphology.VerbalNumber.triplesSuppletion

def Core.Morphology.locusClauseToLocus : LocusClause → LocusOfMarking

Map clause-level locus (F23A) to the 5-way whole-language classification.

Equations

• Core.Morphology.locusClauseToLocus Core.Morphology.LocusClause.headMarking = Core.Morphology.LocusOfMarking.headMarking
• Core.Morphology.locusClauseToLocus Core.Morphology.LocusClause.dependentMarking = Core.Morphology.LocusOfMarking.dependentMarking
• Core.Morphology.locusClauseToLocus Core.Morphology.LocusClause.doubleMarking = Core.Morphology.LocusOfMarking.doubleMarking
• Core.Morphology.locusClauseToLocus Core.Morphology.LocusClause.noMarking = Core.Morphology.LocusOfMarking.zeroMarking
• Core.Morphology.locusClauseToLocus Core.Morphology.LocusClause.other = Core.Morphology.LocusOfMarking.inconsistentOrOther

WALS lookup helpers derive MorphProfile field values from auto-generated WALS data. Each returns Option, yielding none when the language is absent from that chapter or the grounding function is uninformative. Profile definitions use .getD fallback so the fallback is only reached when WALS cannot help.

def Core.Morphology.walsFusion (iso : String) : Option Fusion

Equations

• Core.Morphology.walsFusion iso = (Core.WALS.F20A.lookupISO iso).bind fun (x : Core.WALS.Datapoint Core.WALS.F20A.FusionType) => Core.Morphology.fromWALS20A x.value

def Core.Morphology.walsExponence (iso : String) : Option Exponence

Equations

• Core.Morphology.walsExponence iso = (Core.WALS.F21A.lookupISO iso).bind fun (x : Core.WALS.Datapoint Core.WALS.F21A.ExponenceType) => Core.Morphology.fromWALS21A x.value

def Core.Morphology.walsVerbSynthesis (iso : String) : Option VerbSynthesis

Equations

• Core.Morphology.walsVerbSynthesis iso = Option.map (fun (x : Core.WALS.Datapoint Core.WALS.F22A.InflectionalSynthesis) => Core.Morphology.fromWALS22A x.value) (Core.WALS.F22A.lookupISO iso)

def Core.Morphology.walsLocus (iso : String) : Option LocusOfMarking

Equations

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

def Core.Morphology.walsPrefixSuffix (iso : String) : Option PrefixSuffix

Equations

• Core.Morphology.walsPrefixSuffix iso = Option.map (fun (x : Core.WALS.Datapoint Core.WALS.F26A.PrefixSuffixPreference) => Core.Morphology.fromWALS26A x.value) (Core.WALS.F26A.lookupISO iso)

def Core.Morphology.walsReduplication (iso : String) : Option Reduplication

Equations

• Core.Morphology.walsReduplication iso = Option.map (fun (x : Core.WALS.Datapoint Core.WALS.F27A.ReduplicationType) => Core.Morphology.fromWALS27A x.value) (Core.WALS.F27A.lookupISO iso)

def Core.Morphology.walsLocusClause (iso : String) : Option LocusClause

Equations

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

def Core.Morphology.walsLocusPossessive (iso : String) : Option LocusPossessive

Equations

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

def Core.Morphology.walsWholeLanguageMarking (iso : String) : Option WholeLanguageMarking

Equations

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

def Core.Morphology.walsZeroMarkingAP (iso : String) : Option ZeroMarkingAP

Equations

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

def Core.Morphology.walsCaseSyncretism (iso : String) : Option CaseSyncretism

Equations

• Core.Morphology.walsCaseSyncretism iso = Option.map (fun (x : Core.WALS.Datapoint Core.WALS.F28A.CaseSyncretism) => Core.Morphology.fromWALS28A x.value) (Core.WALS.F28A.lookupISO iso)

def Core.Morphology.walsVerbalSyncretism (iso : String) : Option VerbalSyncretism

Equations

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

def Core.Morphology.walsTAMExponence (iso : String) : Option TAMExponence

Equations

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

def Core.Morphology.walsActionNominal (iso : String) : Option ActionNominal

Equations

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

def Core.Morphology.walsSuppletionTA (iso : String) : Option SuppletionTA

Equations

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

def Core.Morphology.walsSuppletionImperative (iso : String) : Option SuppletionImperative

Equations

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

def Core.Morphology.walsVerbalNumber (iso : String) : Option VerbalNumber

Equations

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

def Core.Morphology.MorphProfile.isConcatenative (p : MorphProfile) : Bool

Equations

• p.isConcatenative = (p.fusion == Core.Morphology.Fusion.concatenative)

def Core.Morphology.MorphProfile.isIsolating (p : MorphProfile) : Bool

Equations

• p.isIsolating = (p.fusion == Core.Morphology.Fusion.isolating)

def Core.Morphology.MorphProfile.isNonlinear (p : MorphProfile) : Bool

Equations

• p.isNonlinear = (p.fusion == Core.Morphology.Fusion.nonlinear)

def Core.Morphology.MorphProfile.isMono (p : MorphProfile) : Bool

Equations

• p.isMono = (p.exponence == Core.Morphology.Exponence.monoexponential)

def Core.Morphology.MorphProfile.isPoly (p : MorphProfile) : Bool

Equations

• p.isPoly = (p.exponence == Core.Morphology.Exponence.polyexponential)

def Core.Morphology.MorphProfile.hasRedup (p : MorphProfile) : Bool

Equations

• p.hasRedup = (p.reduplication == Core.Morphology.Reduplication.productiveFull || p.reduplication == Core.Morphology.Reduplication.fullOnly)

def Core.Morphology.MorphProfile.isSuffixing (p : MorphProfile) : Bool

Equations

• p.isSuffixing = (p.prefixSuffix == Core.Morphology.PrefixSuffix.stronglySuffixing || p.prefixSuffix == Core.Morphology.PrefixSuffix.weaklySuffixing)

def Core.Morphology.MorphProfile.isPrefixing (p : MorphProfile) : Bool

Equations

• p.isPrefixing = (p.prefixSuffix == Core.Morphology.PrefixSuffix.stronglyPrefixing || p.prefixSuffix == Core.Morphology.PrefixSuffix.weaklyPrefixing)

def Core.Morphology.MorphProfile.isLowSynthesis (p : MorphProfile) : Bool

Equations

• p.isLowSynthesis = (p.verbSynthesis == Core.Morphology.VerbSynthesis.low)

def Core.Morphology.MorphProfile.isHighSynthesis (p : MorphProfile) : Bool

Equations

• p.isHighSynthesis = (p.verbSynthesis == Core.Morphology.VerbSynthesis.high)