Irish Coordination Morphemes

@cite{haspelmath-2007}

Irish coordination morphemes. Irish is a J-only language for conjunction: "agus" is the sole conjunctive coordinator. There is no MU (additive particle) strategy for conjunction attested.

Connection to Typology.lean: Phenomena.Coordination.Studies.Haspelmath2007.irish encodes the structural pattern (a_co_b only, J-only strategy).

def Fragments.Irish.Coordination.agus : Features.Coordination.CoordEntry

agus — conjunction, J particle. Free, prepositive. "Sean agus Maire" = "Sean and Maire".

Equations

• Fragments.Irish.Coordination.agus = { form := "agus", gloss := "and", role := Features.Coordination.CoordRole.j, boundness := Features.Coordination.Boundness.free }

def Fragments.Irish.Coordination.no_ : Features.Coordination.CoordEntry

no — disjunction. Free, prepositive. "Sean no Maire" = "Sean or Maire".

Equations

• Fragments.Irish.Coordination.no_ = { form := "nó", gloss := "or", role := Features.Coordination.CoordRole.disj, boundness := Features.Coordination.Boundness.free }

def Fragments.Irish.Coordination.na_ : Features.Coordination.CoordEntry

na — negative disjunction / comparative particle. "ni Sean na Maire" = "neither Sean nor Maire". Also used in comparatives: "nios mo na" = "bigger than".

Equations

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

def Fragments.Irish.Coordination.ach : Features.Coordination.CoordEntry

ach — adversative conjunction. "Ta se fuar ach tirim" = "It is cold but dry".

Equations

• Fragments.Irish.Coordination.ach = { form := "ach", gloss := "but", role := Features.Coordination.CoordRole.advers, boundness := Features.Coordination.Boundness.free }

def Fragments.Irish.Coordination.allEntries : List Features.Coordination.CoordEntry

Equations

• Fragments.Irish.Coordination.allEntries = [Fragments.Irish.Coordination.agus, Fragments.Irish.Coordination.no_, Fragments.Irish.Coordination.na_, Fragments.Irish.Coordination.ach]

theorem Fragments.Irish.Coordination.all_free : (allEntries.all fun (x : Features.Coordination.CoordEntry) => x.boundness == Features.Coordination.Boundness.free) = true

All Irish coordination morphemes are free (no bound clitics).

theorem Fragments.Irish.Coordination.one_conjunction : (List.filter (fun (x : Features.Coordination.CoordEntry) => x.role == Features.Coordination.CoordRole.j) allEntries).length = 1

Irish has exactly one conjunction morpheme (J-only, no MU).