Hixkaryana Negation Fragment

[Mie05] [Has13b] [DH13a]

Hixkaryana (Carib; Brazil) expresses standard negation with the suffix -hira on the verb. Negation is asymmetric (A/Fin): the negative suffix deverbalizes the lexical verb, and a non-negative copula takes over as the finite element.

Example

	Affirmative	Negative
Immediate past	amryeki 'I hunted'	amryeki-hira w-ah-ko 'hunt-NEG 1SUBJ-be-IMM.PST'

The deverbalization + copula pattern is a clear case of A/Fin asymmetry: the lexical verb loses its finiteness under negation, and a copula verb becomes the finite element carrying person/tense marking.

def Hixkaryana.Negation.hira : Syntax.Negation.NegMarkerEntry

-hira — Hixkaryana's standard negation suffix. Deverbalizes the lexical verb (A/Fin asymmetry); a copula then takes over as the finite element.

Equations

• Hixkaryana.Negation.hira = { form := "-hira", morphemeType := Syntax.Negation.NegMorphemeType.affix, position := Syntax.Negation.NegMarkerPosition.morphological }

def Hixkaryana.Negation.negationSystem : Syntax.Negation.NegationSystem

The Hixkaryana negation system: a single deverbalizing suffix. The Fragment-side joint consumed by Studies/Dryer2013Negation.lean.

Equations

• Hixkaryana.Negation.negationSystem = Syntax.Negation.NegationSystem.ofISO "hix" [Hixkaryana.Negation.hira]

structure Hixkaryana.Negation.NegExample : Type

A Hixkaryana negation example.

• affirmative : String
• negative : String
• glossAff : String
• glossNeg : String
• copulaFinite : Bool

  Does this construction use a copula as the finite element?

• symmetric : Bool

  Is this construction symmetric?

@[implicit_reducible]

instance Hixkaryana.Negation.instReprNegExample : Repr NegExample

Equations

• Hixkaryana.Negation.instReprNegExample = { reprPrec := Hixkaryana.Negation.instReprNegExample.repr }

def Hixkaryana.Negation.instReprNegExample.repr : NegExample → ℕ → Std.Format

Equations

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

def Hixkaryana.Negation.instBEqNegExample.beq : NegExample → NegExample → Bool

Equations

• One or more equations did not get rendered due to their size.
• Hixkaryana.Negation.instBEqNegExample.beq x✝¹ x✝ = false

@[implicit_reducible]

instance Hixkaryana.Negation.instBEqNegExample : BEq NegExample

Equations

• Hixkaryana.Negation.instBEqNegExample = { beq := Hixkaryana.Negation.instBEqNegExample.beq }

def Hixkaryana.Negation.immPast : NegExample

Immediate past: deverbalization + copula.

Equations

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

def Hixkaryana.Negation.allExamples : List NegExample

Equations

• Hixkaryana.Negation.allExamples = [Hixkaryana.Negation.immPast]

Verification

theorem Hixkaryana.Negation.all_examples_count : allExamples.length = 1

theorem Hixkaryana.Negation.all_asymmetric : (allExamples.all fun (e : NegExample) => !e.symmetric) = true

All constructions are asymmetric.

theorem Hixkaryana.Negation.copula_as_finite : (allExamples.all fun (x : NegExample) => x.copulaFinite) = true

Negation introduces a copula as the finite element.

def Hixkaryana.Negation.negationProfile : Syntax.Negation.NegationProfile

Hixkaryana negation profile (WALS Ch 112-115 + Greco/JinKoenig fields).

Equations

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