Latin Coordination Morphemes

@cite{haspelmath-2007}

Latin has a rich coordination system with both free and bound forms. The J/MU decomposition (@cite{mitrovic-sauerland-2014}, @cite{mitrovic-sauerland-2016}) maps cleanly:

• et — J, free, prepositive: "A et B"
• -que — MU, bound enclitic, postpositive: "A B-que" (= "A and B")
• atque/ac — emphatic J variant (before consonants: ac)
• neque/nec — negative coordination ("neither...nor")

The et...et pattern ("both...and") and neque...neque pattern are bisyndetic uses of J particles.

Connection to Typology.lean: Phenomena.Coordination.Typology.latin encodes the structural patterns (a_co_b, a_b'co, co'a_b'co).

inductive Fragments.Latin.Coordination.CoordRole : Type

Role of a coordination morpheme in the M&S decomposition.

• j : CoordRole
• mu : CoordRole
• disj : CoordRole
• advers : CoordRole
• negCoord : CoordRole

instance Fragments.Latin.Coordination.instDecidableEqCoordRole : DecidableEq CoordRole

Equations

• Fragments.Latin.Coordination.instDecidableEqCoordRole x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Fragments.Latin.Coordination.instBEqCoordRole : BEq CoordRole

Equations

• Fragments.Latin.Coordination.instBEqCoordRole = { beq := Fragments.Latin.Coordination.instBEqCoordRole.beq }

def Fragments.Latin.Coordination.instBEqCoordRole.beq : CoordRole → CoordRole → Bool

Equations

• Fragments.Latin.Coordination.instBEqCoordRole.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

instance Fragments.Latin.Coordination.instReprCoordRole : Repr CoordRole

Equations

• Fragments.Latin.Coordination.instReprCoordRole = { reprPrec := Fragments.Latin.Coordination.instReprCoordRole.repr }

def Fragments.Latin.Coordination.instReprCoordRole.repr : CoordRole → Nat → Std.Format

Equations

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

inductive Fragments.Latin.Coordination.Boundness : Type

Morphological boundness.

• free : Boundness
• bound : Boundness

instance Fragments.Latin.Coordination.instDecidableEqBoundness : DecidableEq Boundness

Equations

• Fragments.Latin.Coordination.instDecidableEqBoundness x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

instance Fragments.Latin.Coordination.instBEqBoundness : BEq Boundness

Equations

• Fragments.Latin.Coordination.instBEqBoundness = { beq := Fragments.Latin.Coordination.instBEqBoundness.beq }

def Fragments.Latin.Coordination.instBEqBoundness.beq : Boundness → Boundness → Bool

Equations

• Fragments.Latin.Coordination.instBEqBoundness.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

def Fragments.Latin.Coordination.instReprBoundness.repr : Boundness → Nat → Std.Format

Equations

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

instance Fragments.Latin.Coordination.instReprBoundness : Repr Boundness

Equations

• Fragments.Latin.Coordination.instReprBoundness = { reprPrec := Fragments.Latin.Coordination.instReprBoundness.repr }

structure Fragments.Latin.Coordination.CoordEntry : Type

A Latin coordination entry.

• form : String
• gloss : String
• role : CoordRole
• boundness : Boundness
• correlative : Bool

  Can this morpheme be used in bisyndetic (correlative) patterns?

• note : String

  Notes on usage or distribution

instance Fragments.Latin.Coordination.instReprCoordEntry : Repr CoordEntry

Equations

• Fragments.Latin.Coordination.instReprCoordEntry = { reprPrec := Fragments.Latin.Coordination.instReprCoordEntry.repr }

def Fragments.Latin.Coordination.instReprCoordEntry.repr : CoordEntry → Nat → Std.Format

Equations

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

instance Fragments.Latin.Coordination.instBEqCoordEntry : BEq CoordEntry

Equations

• Fragments.Latin.Coordination.instBEqCoordEntry = { beq := Fragments.Latin.Coordination.instBEqCoordEntry.beq }

def Fragments.Latin.Coordination.instBEqCoordEntry.beq : CoordEntry → CoordEntry → Bool

Equations

• One or more equations did not get rendered due to their size.
• Fragments.Latin.Coordination.instBEqCoordEntry.beq x✝¹ x✝ = false

def Fragments.Latin.Coordination.et : CoordEntry

et — primary conjunction, J particle. Free, prepositive. "Caesar et Brutus" = "Caesar and Brutus". Also used correlatively: "et A et B" = "both A and B".

Equations

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

def Fragments.Latin.Coordination.que : CoordEntry

-que — enclitic conjunction, MU particle. Bound, postpositive. "senatus populusque" = "senate and people". Historically connected to the additive/inclusive particle.

Equations

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

def Fragments.Latin.Coordination.atque : CoordEntry

atque / ac — emphatic conjunction, J variant. ac before consonants, atque before vowels. "atque" < *ad-que (lit. "and to that").

Equations

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

def Fragments.Latin.Coordination.neque : CoordEntry

neque / nec — negative coordination. "neque A neque B" = "neither A nor B". Morphologically ne + -que (negation + MU enclitic).

Equations

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

def Fragments.Latin.Coordination.aut : CoordEntry

aut — exclusive/strong disjunction. "aut A aut B" = "either A or B (but not both)".

Equations

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

def Fragments.Latin.Coordination.vel : CoordEntry

vel — inclusive/weak disjunction. "vel A vel B" = "A or B (or both)".

Equations

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

def Fragments.Latin.Coordination.sed : CoordEntry

sed — adversative conjunction. "non A sed B" = "not A but B".

Equations

• Fragments.Latin.Coordination.sed = { form := "sed", gloss := "but", role := Fragments.Latin.Coordination.CoordRole.advers, boundness := Fragments.Latin.Coordination.Boundness.free }

def Fragments.Latin.Coordination.allEntries : List CoordEntry

Equations

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

theorem Fragments.Latin.Coordination.one_bound_morpheme : (List.filter (fun (x : CoordEntry) => x.boundness == Boundness.bound) allEntries).length = 1

Latin has exactly one bound morpheme: -que.

theorem Fragments.Latin.Coordination.bound_is_mu : ((List.filter (fun (x : CoordEntry) => x.boundness == Boundness.bound) allEntries).all fun (x : CoordEntry) => x.role == CoordRole.mu) = true

The bound morpheme is the MU particle -que.

theorem Fragments.Latin.Coordination.correlative_entries : (List.filter (fun (x : CoordEntry) => x.correlative) allEntries).length = 4

Latin has correlative uses of J, disjunction, and negative coordination.