Ch'ol Numeral Classifier Lexicon

@cite{little-moroney-royer-2022} @cite{bale-coon-2014} @cite{arcos-lopez-2009}

Typed classifier entries for Ch'ol (Cholan, Mayan), a classifier-for-numeral language. Classifiers in Ch'ol are bound morphemes suffixed to the numeral stem and are obligatory with all Mayan-based numerals (1–6 and vigesimal system). Spanish-borrowed numerals (7+) already encode a measure function and do not take classifiers.

Classifier selection

Ch'ol classifiers are largely derived from positional and transitive verb roots (@cite{arcos-lopez-2009}; @cite{bale-et-al-2019}). The position or shape of the noun is relevant: the same noun can be counted with different classifiers depending on its configuration (e.g., one long tree vs. one fallen tree). @cite{arcos-lopez-2009} identifies at least 180 classifiers.

CLF-for-NUM semantics

In the CLF-for-NUM analysis (@cite{little-moroney-royer-2022} §4; @cite{bale-coon-2014}), each classifier denotes a measure function μ that the numeral requires as its first argument: ⟦ux⟧ = λm λP λx. [P(x) ∧ m(x) = 3] ⟦-kojty⟧ = μ_# (atom-counting measure for animals)

def Fragments.Mayan.Chol.Classifiers.pej : Typology.ClassifierEntry

-p'ej — inanimate/generic default classifier. Semantically bleached for inanimates; also the base of vigesimal classifiers (-k'al for 20, -bajk for 400, -pijk for 8000).

Equations

• Fragments.Mayan.Chol.Classifiers.pej = { form := "-p'ej", gloss := "inanimate/generic", isDefault := true }

def Fragments.Mayan.Chol.Classifiers.kojty : Typology.ClassifierEntry

-kojty — animals. Derived from positional root koty 'standing on four legs'.

Equations

• Fragments.Mayan.Chol.Classifiers.kojty = { form := "-kojty", gloss := "animal", semantics := [Typology.SemanticParameter.animacy] }

def Fragments.Mayan.Chol.Classifiers.tyikil : Typology.ClassifierEntry

-tyikil — people/humans.

Equations

• Fragments.Mayan.Chol.Classifiers.tyikil = { form := "-tyikil", gloss := "human", semantics := [Typology.SemanticParameter.humanness] }

def Fragments.Mayan.Chol.Classifiers.kej : Typology.ClassifierEntry

-k'ej — flat round objects (tortillas, tables).

Equations

• Fragments.Mayan.Chol.Classifiers.kej = { form := "-k'ej", gloss := "flat.round", semantics := [Typology.SemanticParameter.shape], shapeDimension := some Typology.ShapeDimension.twoD }

def Fragments.Mayan.Chol.Classifiers.tsijty : Typology.ClassifierEntry

-ts'ijty — long things (trees, ropes).

Equations

• Fragments.Mayan.Chol.Classifiers.tsijty = { form := "-ts'ijty", gloss := "long", semantics := [Typology.SemanticParameter.shape], shapeDimension := some Typology.ShapeDimension.oneD }

def Fragments.Mayan.Chol.Classifiers.bujch : Typology.ClassifierEntry

-bujch — seated/propped up things (bottles propped up, seated objects). Derived from positional root buch 'seated'.

Equations

• Fragments.Mayan.Chol.Classifiers.bujch = { form := "-bujch", gloss := "seated/propped", semantics := [Typology.SemanticParameter.arrangement] }

def Fragments.Mayan.Chol.Classifiers.allClassifiers : List Typology.ClassifierEntry

Equations

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

def Fragments.Mayan.Chol.Classifiers.defaultClassifier : Typology.ClassifierEntry

Equations

• Fragments.Mayan.Chol.Classifiers.defaultClassifier = Fragments.Mayan.Chol.Classifiers.pej

theorem Fragments.Mayan.Chol.Classifiers.default_is_default : defaultClassifier.isDefault = true

The default classifier is marked as default.

theorem Fragments.Mayan.Chol.Classifiers.specific_classifiers_motivated : ((List.filter (fun (x : Typology.ClassifierEntry) => !x.isDefault) allClassifiers).all fun (x : Typology.ClassifierEntry) => decide (x.semantics.length > 0)) = true

All non-default classifiers carry at least one semantic parameter.

theorem Fragments.Mayan.Chol.Classifiers.classifiers_are_bound : (allClassifiers.all fun (x : Typology.ClassifierEntry) => x.form.startsWith "-") = true

Ch'ol classifiers are bound morphemes (suffixes on the numeral stem). All forms begin with a hyphen, indicating bound status.