English Indefinite Pronouns

@cite{haspelmath-1997} @cite{wals-2013}

English forms its indefinite pronouns by prefixing some- to the generic-noun stems -one, -body, -thing, -where — yielding someone, somebody, something, somewhere (and parallel any-, no-, every- series). Per @cite{wals-2013} F46A, English is classified .genericNounBased on this basis.

The single some- series covers all three SK/SU/NS functions on @cite{haspelmath-1997}'s map, yielding the AAA syncretism (D&A type i unmarked).

def Fragments.English.Indefinites.someEntry : Typology.Indefinite.IndefiniteEntry

English some- series (someone, somebody, something, …): AAA syncretism, D&A type i unmarked. The form is generic-noun-based (the host stems -one, -body, -thing are nouns), per WALS F46A.

Equations

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

def Fragments.English.Indefinites.paradigm : Typology.Indefinite.IndefiniteParadigm

The English indefinite paradigm (one series, parallel to any-/no- not yet formalized).

Equations

• Fragments.English.Indefinites.paradigm = { language := "English", isoCode := "eng", forms := [Fragments.English.Indefinites.someEntry] }

theorem Fragments.English.Indefinites.english_paradigm_is_AAA : paradigm.syncretism = some Typology.Indefinite.SyncretismPattern.AAA

English some- covers all three SK/SU/NS functions: AAA syncretism.

theorem Fragments.English.Indefinites.english_paradigm_is_genericNounBased : paradigm.toWALS46A = some Data.WALS.F46A.IndefinitePronouns.genericNounBased

English's WALS F46A classification: derived from the paradigm's morphological-basis distribution (single basis .genericNoun → F46A .genericNounBased). Cross-check vs F46A.allData lives in Phenomena/Indefinites/Typology.lean.