Mass/count

The morphosyntactic mass/count feature ([Kri26]). No UD equivalent, so it is a linglib feature taxonomy rather than a UD.* alias.

inductive MassCount : Type

Morphosyntactic mass/count feature. A formal feature parallel to grammatical gender — not an ontological distinction. Determines kind-anaphor morphology: [MASS] → it, [COUNT] → they. Evidence: pollen[MASS] → it vs pollen grains[COUNT] → they for the same referent ([Kri26] §2).

• mass : MassCount
• count : MassCount

@[implicit_reducible]

instance instReprMassCount : Repr MassCount

Equations

• instReprMassCount = { reprPrec := instReprMassCount.repr }

def instReprMassCount.repr : MassCount → Nat → Std.Format

Equations

• instReprMassCount.repr MassCount.mass prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "MassCount.mass")).group prec✝
• instReprMassCount.repr MassCount.count prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "MassCount.count")).group prec✝

@[implicit_reducible]

instance instDecidableEqMassCount : DecidableEq MassCount

Equations

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

def instHashableMassCount.hash : MassCount → UInt64

Equations

• instHashableMassCount.hash MassCount.mass = 0
• instHashableMassCount.hash MassCount.count = 1

@[implicit_reducible]

instance instHashableMassCount : Hashable MassCount

Equations

• instHashableMassCount = { hash := instHashableMassCount.hash }