Pronoun strength (Cardinaletti & Starke 1999)

@cite{cardinaletti-starke-1999}

Three-way typology of pronoun forms based on phonological/syntactic deficiency, from @cite{cardinaletti-starke-1999}'s tripartite theory:

• Strong: full, stressed forms — can be coordinated, modified, focused.
• Weak: reduced, unstressed — cannot be coordinated or focused.
• Clitic: phonologically deficient — must attach to a host.

This is per-entry feature substrate consumed by multiple study files: @cite{patel-grosz-grosz-2017}'s PER/DEM typology (each PronounForm carries a list of available strengths) and @cite{ariel-2001}'s Accessibility Marking Scale (where strength corresponds to accessibility level).

inductive Features.PronounStrength : Type

@cite{cardinaletti-starke-1999}'s three-way pronoun strength classification.

• strong : PronounStrength

  Full, stressed forms (e.g., English me, French moi).

• weak : PronounStrength

  Reduced, unstressed forms (e.g., English 'em).

• clitic : PronounStrength

  Phonologically deficient, attached to host (e.g., French me, te, le).

@[implicit_reducible]

instance Features.instDecidableEqPronounStrength : DecidableEq PronounStrength

Equations

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

@[implicit_reducible]

instance Features.instReprPronounStrength : Repr PronounStrength

Equations

• Features.instReprPronounStrength = { reprPrec := Features.instReprPronounStrength.repr }

def Features.instReprPronounStrength.repr : PronounStrength → Nat → Std.Format

Equations

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