Documentation

Linglib.Fragments.Korean.PolarityItems

Korean Polarity-Sensitive Items #

[Has97]

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

Korean, like Japanese, builds polarity items from wh-words + particles:

NPIs #

source
def Korean.PolarityItems.nwukwu :
Semantics.Polarity.Item

nwukwu (누구, bare) — Weak NPI. Bare wh-word as indefinite in non-interrogative non-specific contexts (conditionals, irrealis).

Equations
  • One or more equations did not get rendered due to their size.
Instances For
    source
    def Korean.PolarityItems.nwukwuTo :
    Semantics.Polarity.Item

    nwukwu-to (누구도, with clausemate negation) — n-word: nwukwu-to an wass-ta 'nobody came'. wh + the additive/'even' particle -to, requiring clausemate negation — the strict-negative-concord parallel of Japanese dare-mo (see Japanese.PolarityItems.dareMo).

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

      FCI #

      source
      def Korean.PolarityItems.nwukwuNa :
      Semantics.Polarity.Item

      nwukwu-na (누구나) — Free choice item. wh + na: 'nwukwu-na hal su issda' (anyone can do it). The suffix -na derives from the adversative mood of i- 'be' ('whoever it may be') and also means 'or' ([Has97] A.39.2) — an 'it may be'-type source, not an additive/'even' particle, so morphology stays .plain (the enum lacks a disjunctive-source case).

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

        Verification #

        source
        theorem Korean.PolarityItems.nwukwuTo_licensing_characterized (c : Features.LicensingContext) :
        c.licenses nwukwuTo ↔ c ∈ nwukwuTo.licensingContexts

        The licensing keystone characterizes nwukwu-to exactly: as an n-word it requires an anti-morphic licensor, and clausal negation is the only such row — predicted distribution and attested list coincide.

        source
        theorem Korean.PolarityItems.korean_licensing_sound (e : Semantics.Polarity.Item) :
        e ∈ [nwukwu, nwukwuTo, nwukwuNa] → ∀ c ∈ e.licensingContexts, c.licenses e

        Every attested context of every Korean entry is predicted licensed.

        source
        theorem Korean.PolarityItems.korean_npis_strengthening :
        ([nwukwu, nwukwuTo].all fun (e : Semantics.Polarity.Item) => e.scalarDirection == Semantics.Polarity.ScalarDirection.strengthening) = true