Documentation

Linglib.Fragments.Cantonese.Particles

Cantonese Presuppositional Particles #

@cite{matthews-yip-1994} @cite{liu-yip-2026} @cite{lee-yip-to-appear}

Lexical entries for Cantonese preverbal again-elements jau and zoi, parallel to the Mandarin entries in Fragments/Mandarin/Particles.lean. Per @cite{liu-yip-2026} §5, these are the Cantonese counterparts of Mandarin you and zai respectively, but unlike Mandarin you, the preverbal Cantonese jau does NOT exhibit the scope-skipping pattern (see Phenomena/Complementation/Studies/LiuYip2026.lean for the analytical discussion).

This file commits the consensus lexical data only; the analytical claim that jau lacks the [u+D] feature borne by Mandarin you — and therefore cannot trigger movement to matrix AspP_outer — lives in the Studies file.

source
structure Fragments.Cantonese.Particles.PresupParticle :
Type

A Cantonese presuppositional particle entry.

Instances For
    source
    @[implicit_reducible]
    instance Fragments.Cantonese.Particles.instReprPresupParticle :
    Repr PresupParticle
    Equations
    source
    def Fragments.Cantonese.Particles.instReprPresupParticle.repr :
    PresupParticle → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Fragments.Cantonese.Particles.jau :
      PresupParticle

      又 jau — preverbal 'again' (iterative). Cantonese counterpart of Mandarin you. Per @cite{liu-yip-2026} §5, jau lacks the scope-skipping property of Mandarin you (see LiuYip2026.lean for the analysis).

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        source
        def Fragments.Cantonese.Particles.zoi :
        PresupParticle

        再 zoi — preverbal 'again' (iterative, lower position). Cantonese counterpart of Mandarin zai. Per @cite{liu-yip-2026} §5, zoi is AspP_inner-associated, paralleling Mandarin zai.

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Fragments.Cantonese.Particles.all :
          List PresupParticle
          Equations
          Instances For
            source
            theorem Fragments.Cantonese.Particles.all_membership :
            List.map (fun (x : PresupParticle) => x.jyutping) all = ["jau6", "zoi3"]

            Drift sentry: the inventory covers exactly jau and zoi.

            source
            theorem Fragments.Cantonese.Particles.both_iterative_deletion :
            jau.triggerEntry.trigger = Semantics.Presupposition.TriggerTypology.PresupTrigger.iterative ∧ zoi.triggerEntry.trigger = Semantics.Presupposition.TriggerTypology.PresupTrigger.iterative ∧ jau.triggerEntry.altStructure = Semantics.Presupposition.TriggerTypology.AltStructure.deletion ∧ zoi.triggerEntry.altStructure = Semantics.Presupposition.TriggerTypology.AltStructure.deletion

            Both Cantonese preverbal again-elements are iterative-class presupposition triggers with deletion alternatives.