Irish Coordination Morphemes

[Has07]

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: Haspelmath2007.irish encodes the structural pattern (a_co_b only, J-only strategy).

def Irish.Coordination.agus : Coordinator

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

Equations

• Irish.Coordination.agus = { form := "agus", gloss := "and", role := Coordinator.Role.j, boundness := Boundness.free }

def Irish.Coordination.no_ : Coordinator

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

Equations

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

def Irish.Coordination.na_ : Coordinator

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

Equations

• Irish.Coordination.na_ = { form := "ná", gloss := "nor, than", role := Coordinator.Role.negDisj, boundness := Boundness.free, note := "also comparative particle" }

def Irish.Coordination.ach : Coordinator

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

Equations

• Irish.Coordination.ach = { form := "ach", gloss := "but", role := Coordinator.Role.advers, boundness := Boundness.free }

def Irish.Coordination.allEntries : List Coordinator

Equations

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

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

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

theorem Irish.Coordination.one_conjunction : (List.filter (fun (x : Coordinator) => x.role == Coordinator.Role.j) allEntries).length = 1

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