Spanish Polarity-Sensitive Items

@cite{haspelmath-1997} @cite{zanuttini-1997}

Lexical entries for Spanish polarity-sensitive items (n-word series), typed by the theory-neutral categories from Typology.PolarityItem. Standard sentential negation (the no marker) lives in the sibling Fragments/Spanish/Negation.lean; this file holds only the lexical reactives (operator/lexical-reactive split documented in Core/Lexical/NegMarker.lean).

The Spanish n-word series

Spanish has position-dependent NC: preverbal n-words preclude no (Nadie vino 'Nobody came'); postverbal n-words require no (No vi nada 'I didn't see anything'). The pattern parallels Italian. The position-dependent .negation licensing is encoded uniformly here via licensingContexts := [.negation, ...] — the position-dependence is a syntactic fact about the marker–n-word interaction, not a lexical-feature distinction across n-words.

def Fragments.Spanish.PolarityItems.nadie : Typology.PolarityItem.PolarityItemEntry

nadie — N-word for human ('nobody'). Preverbal alone: Nadie vino. Postverbal with no: No vino nadie.

Equations

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

def Fragments.Spanish.PolarityItems.nada : Typology.PolarityItem.PolarityItemEntry

nada — N-word for non-human ('nothing'). Same distribution as nadie.

Equations

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

def Fragments.Spanish.PolarityItems.nunca : Typology.PolarityItem.PolarityItemEntry

nunca — Temporal N-word ('never').

Equations

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

def Fragments.Spanish.PolarityItems.ninguno : Typology.PolarityItem.PolarityItemEntry

ninguno — N-word adjective/pronoun ('none / no').

Equations

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

def Fragments.Spanish.PolarityItems.jamas : Typology.PolarityItem.PolarityItemEntry

jamás — Temporal N-word ('never', emphatic register). Functional variant of nunca; both can co-occur (nunca jamás) for superlative emphasis.

Equations

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

def Fragments.Spanish.PolarityItems.items : List Typology.PolarityItem.PolarityItemEntry

The Spanish polarity-item inventory: the Fragment-side joint listing every polarity item this fragment defines.

Equations

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

theorem Fragments.Spanish.PolarityItems.all_npis_licensed_by_negation : (items.all fun (e : Typology.PolarityItem.PolarityItemEntry) => e.licensingContexts.contains Features.LicensingContext.negation) = true

All Spanish n-words are weak NPIs licensed by negation.