Documentation

Linglib.Core.Negation

Core Negation Types #

Framework-agnostic types for negation phenomena shared across fragments and phenomena layers.

inductive Core.ENBlockingReason :

Cross-linguistic reasons why a trigger class may not license expletive negation in a particular language (@cite{jin-koenig-2021} §7).

modalRestriction : ENBlockingReason
Language disprefers modal operators in complement clauses
npOnlyComplement : ENBlockingReason
Comparative complements only allow NPs, not clauses
analyticNegation : ENBlockingReason
Concept expressed analytically with necessary (non-expletive) negation

Instances For

instance Core.instDecidableEqENBlockingReason :

DecidableEq ENBlockingReason

Equations

Core.instDecidableEqENBlockingReason x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

def Core.instBEqENBlockingReason.beq :

ENBlockingReason → ENBlockingReason → Bool

Equations

Core.instBEqENBlockingReason.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

Instances For

instance Core.instBEqENBlockingReason :

BEq ENBlockingReason

Equations

Core.instBEqENBlockingReason = { beq := Core.instBEqENBlockingReason.beq }

def Core.instReprENBlockingReason.repr :

ENBlockingReason → Nat → Std.Format

Equations

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

Instances For

instance Core.instReprENBlockingReason :

Repr ENBlockingReason

Equations

Core.instReprENBlockingReason = { reprPrec := Core.instReprENBlockingReason.repr }