Docs / Syntax / Category / Pronoun / Indefinite

Indefinite pronouns

import Linglib.Syntax.Category.Pronoun.Indefinite

An indefinite pronoun is a pronoun with the ontological category it stands for. Indefinite pronouns come in series whose members are formed alike across the categories, as the English some-series somebody, something, somewhere, and a series is read as a paradigm whose cells are the categories. The functions a series covers on Haspelmath's implicational map are an analysis of its distribution, which studies pair with the series.

Main definitions

IndefinitePronoun: a pronoun with its ontological category.
IndefinitePronoun.ofInterrogative: the indefinite a marker builds on an interrogative.
IndefinitePronoun.toWord: its token, of UD pronoun type Ind.
IndefinitePronoun.Series: the members of a series, with the name it is cited by.
IndefinitePronoun.Series.forms: the series as a paradigm over the ontological categories.

References

Haspelmath 1997, Indefinite Pronouns formalized

Declarations

An indefinite pronoun is a Pronoun with the ontological category it stands for.

structure IndefinitePronoun L30–34

extends Pronoun :

Type

form : String
person : Option Person
number : Option Number
cases : Finset Case
gender : Option UD.Gender
script : Option String
strength : Option Strength
ontology : Pronoun.OntologicalCategory
The ontological category the pronoun stands for.

Used by instDecidableEqIndefinitePronoun, IndefinitePronoun.ofInterrogative, IndefinitePronoun.toWord, IndefinitePronoun.Series, IndefinitePronoun.Series.forms

Used in Fragments/English/Indefinites, Fragments/Finnish/Indefinites, Fragments/Georgian/Indefinites, Fragments/German/Indefinites, Fragments/HindiUrdu/Indefinites and 14 more

L36–37

The indefinite a series marker builds on an interrogative pronoun, as Russian -nibud' builds kto-nibud' on kto. It has the interrogative's features and category and the marked form. The marker acts on the romanized form, so the native script of the marked form is left unrecorded.

def IndefinitePronoun.ofInterrogative L41–46

(mark : String → String) (q : InterrogativePronoun) :

IndefinitePronoun

IndefinitePronoun.ofInterrogative mark q = { form := mark q.form, person := q.person, number := q.number, cases := q.cases, gender := q.gender, strength := q.strength, ontology := q.ontology }

Built from

Used by IndefinitePronoun.ofInterrogative_ontology

Used in Fragments/Georgian/Indefinites, Fragments/Hungarian/Indefinites, Fragments/Japanese/Indefinites, Fragments/Latvian/Indefinites, Fragments/Quechua/Indefinites and 2 more

L44

An indefinite's token is of UD pronoun type Ind, with the word class its category fixes.

def IndefinitePronoun.toWord L48–51

(p : IndefinitePronoun) :

Morphology.Word

p.toWord = { form := (p.toWord (some UD.PronType.Ind)).form, cat := p.ontology.upos, features := (p.toWord (some UD.PronType.Ind)).features }

Built from

An indefinite series is the indefinite pronouns formed alike across the ontological categories, as the English some-series somebody, something, somewhere.

structure IndefinitePronoun.Series L53–61

Type

name : String
The name the series is cited by, its marker where it has one, as some-, -nibud' or ugodno.
members : Finset IndefinitePronoun
The members, each with its ontological category.

Derives DecidableEq.

Built from

Used by IndefinitePronoun.Series.forms, IndefinitePronoun.Series.mem_forms

Used in Fragments/English/Indefinites, Fragments/Finnish/Indefinites, Fragments/Georgian/Indefinites, Fragments/German/Indefinites, Fragments/HindiUrdu/Indefinites and 14 more

The forms a series has in an ontological category, read as a paradigm whose cells are the categories: none where the series is defective, several where a category has more than one member.

def IndefinitePronoun.Series.forms L67–71

(s : Series) (c : Pronoun.OntologicalCategory) :

Finset String

s.forms c = Morphology.formsAt (fun (p : IndefinitePronoun) => {p.ontology}) (fun (x : IndefinitePronoun) => x.form) s.members c

Built from ,

Used by IndefinitePronoun.Series.mem_forms

Used in Haspelmath1997

L73–74