Documentation

Linglib.Fragments.Italian.ExpletiveNegation

Italian Expletive Negation Environments #

Classification of Italian EN construction types from @cite{greco-2020} Table 1 (weak EN) and Table 2 (strong EN, including surprise negation).

Italian has 11 EN construction types, divided into weak and strong based on co-occurrence with polarity-sensitive elements. This data is language- specific: the constructions are Italian, but the classification (ENStrength, PolarityLicensing) comes from Core.Negation.

The syntactic analysis (why each construction falls into its class) lives in Greco2020.

inductive Fragments.Italian.ExpletiveNegation.ENEnvironment :

The 11 Italian EN construction types classified by @cite{greco-2020} Table 1 (extended to include Snegs from Table 2).

untilClauses : ENEnvironment
whoKnowsClauses : ENEnvironment
unlessClauses : ENEnvironment
indirectInterrogatives : ENEnvironment
comparativeClauses : ENEnvironment
negativeExclamatives : ENEnvironment
rhetoricalQuestions : ENEnvironment
notThatClauses : ENEnvironment
ratherThanClauses : ENEnvironment
beforeClauses : ENEnvironment
snegs : ENEnvironment

Instances For

@[implicit_reducible]

instance Fragments.Italian.ExpletiveNegation.instDecidableEqENEnvironment :

DecidableEq ENEnvironment

Equations

Fragments.Italian.ExpletiveNegation.instDecidableEqENEnvironment x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance Fragments.Italian.ExpletiveNegation.instReprENEnvironment :

Repr ENEnvironment

Equations

Fragments.Italian.ExpletiveNegation.instReprENEnvironment = { reprPrec := Fragments.Italian.ExpletiveNegation.instReprENEnvironment.repr }

def Fragments.Italian.ExpletiveNegation.instReprENEnvironment.repr :

ENEnvironment → ℕ → Std.Format

Equations

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

Instances For

def Fragments.Italian.ExpletiveNegation.ENEnvironment.strength :

ENEnvironment → Phenomena.Negation.ExpletiveNegation.ENStrength

@cite{greco-2020} Table 1+2 classification.

Equations

Instances For

def Fragments.Italian.ExpletiveNegation.ENEnvironment.licensing :

ENEnvironment → Phenomena.Negation.ExpletiveNegation.PolarityLicensing

Table 1 data: map each environment to its polarity licensing.

Equations

Instances For

theorem Fragments.Italian.ExpletiveNegation.strong_rejects_all (e : ENEnvironment) (h : e.strength = Phenomena.Negation.ExpletiveNegation.ENStrength.strong) :

e.licensing = Phenomena.Negation.ExpletiveNegation.strongENProfile

Strong EN ↔ rejects all four polarity classes.

theorem Fragments.Italian.ExpletiveNegation.snegs_are_strong :

ENEnvironment.snegs.strength = Phenomena.Negation.ExpletiveNegation.ENStrength.strong

Snegs are strong EN: they reject all polarity-sensitive elements.