Hungarian Polarity-Sensitive Items

[Has97]

Hungarian indefinite pronoun polarity items, typed by the categories from Semantics.Polarity.

• senki: N-word, negative concord (with sem in direct negation)
• akárki / bárki: Free choice items

NPI

def Hungarian.PolarityItems.senki : Semantics.Polarity.Item

senki — strict-NC n-word, direct negation only ([Has97] A.26): co-occurs with nem/sem, 'senki sem jött' (nobody came).

Equations

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

FCI

def Hungarian.PolarityItems.akarki : Semantics.Polarity.Item

akárki / bárki — Free choice items. 'Anyone at all': 'akárki megteheti' (anyone can do it).

Equations

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

Verification

theorem Hungarian.PolarityItems.senki_licensing_characterized (c : Features.LicensingContext) : c.licenses senki ↔ c ∈ senki.licensingContexts

Strict negative concord characterized exactly: senki is predicted licensed precisely under clausal negation.

theorem Hungarian.PolarityItems.akarki_licensing_sound (c : Features.LicensingContext) : c ∈ akarki.licensingContexts → c.licenses akarki