Documentation

Linglib.Fragments.German.PolarityItems

German Polarity-Sensitive Items #

[Has97] [Chi06]

German irgendein, [Chi06]'s existential FCI (EFCI): NPI uses in questions and conditionals, FCI uses under modals, with the irgend- prefix marking domain widening. The negative quantifier niemand negates rather than being licensed, and bare wer is a plain colloquial indefinite ([Has97] A.1) — neither is a polarity item, so neither has an entry here.

source
def German.PolarityItems.irgendein :
Semantics.Polarity.Item

irgendein/irgendwer — [Chi06]'s EFCI class: existential FCI with NPI uses (questions, conditionals) and FCI uses (modals, imperatives); irgend- marks domain widening.

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

    Verification #

    source
    theorem German.PolarityItems.irgendein_licensing_sound (c : Features.LicensingContext) :
    c ∈ irgendein.licensingContexts → c.licenses irgendein

    Every attested context is predicted licensed.