Tagalog case markers #

Tagalog marks the case of a noun phrase with a proclitic marker rather than on the noun: ang for the subject, ng for possessors and for non-subject agents and objects, and sa for obliques, the series Himmelmann labels specifier, possessive and locative and Kroeger nominative, genitive and dative. Personal names take si, ni and kay instead, with the plurals sina, nina and kina, which Schachter and Otanes analyse as the singular markers with the suffix -na, kay changing its vowel. Sina Santos denotes Santos with associates, where the common plural ang mga Santos denotes several people named Santos. Common nouns pluralize with the proclitic mga after the case marker, which Schachter and Otanes describe as optional where the context makes the plural clear, as absent with cardinal numerals, with which it gives an approximative reading instead, and as restricted with mass nouns.

Main definitions #

Tagalog.Case — the three case series, named for their common-noun markers
Tagalog.Case.label — the comparative value of each series under Kroeger's labels
Tagalog.Case.personalMarker — the personal-name marker of each series by number
Tagalog.plural — the plural proclitic mga of common nouns

References #

source

inductive Tagalog.Case :

Type

The three case series, named for their common-noun markers: ang for the subject, ng for possessors and for non-subject agents and objects, and sa for obliques.

ang : Case
The ang series.
ng : Case
The ng series.
sa : Case
The sa series.

Instances For

source

@[instance_reducible]

instance Tagalog.instDecidableEqCase :

DecidableEq Case

Equations

Tagalog.instDecidableEqCase x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

source

@[instance_reducible]

instance Tagalog.instFintypeCase :

Fintype Case

Equations

Tagalog.instFintypeCase = { elems := { val := ↑Tagalog.Case.enumList, nodup := Tagalog.Case.enumList_nodup }, complete := Tagalog.instFintypeCase._proof_1 }

source

def Tagalog.instReprCase.repr :

Case → ℕ → Std.Format

Equations

Tagalog.instReprCase.repr Tagalog.Case.ang prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tagalog.Case.ang")).group prec✝
Tagalog.instReprCase.repr Tagalog.Case.ng prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tagalog.Case.ng")).group prec✝
Tagalog.instReprCase.repr Tagalog.Case.sa prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Tagalog.Case.sa")).group prec✝

Instances For

source

@[instance_reducible]

instance Tagalog.instReprCase :

Repr Case

Equations

Tagalog.instReprCase = { reprPrec := Tagalog.instReprCase.repr }

source

def Tagalog.Case.label :

Case → _root_.Case

The comparative value of a series under Kroeger's labels, the nominative, the genitive and the dative. Himmelmann's labels, specifier, possessive and locative, would give the sa series the locative.

Equations