Documentation

Linglib.Phenomena.Ellipsis.Studies.Funakoshi2016

@cite{funakoshi-2016} — Verb-Stranding VP Ellipsis in Japanese #

@cite{funakoshi-2016}

Funakoshi, Kenshi (2016). Verb-stranding verb phrase ellipsis in Japanese. Journal of East Asian Linguistics 25.2, pp. 113–142.

Key Generalization #

(3) An adjunct can be elided only if no other VP-internal elements are present.

This means that if an overt VP-adjunct remains in the second conjunct, another adjunct cannot be the elided element — only an argument can be. This provides an argumenthood diagnostic: if a constituent can be elided in the presence of an overt adjunct, it must be an argument.

Application (@cite{ozaki-2026}) #

Ozaki uses Funakoshi's generalization to show that the source phrase of Japanese Alternation Verbs (hanareru 'leave', deru 'exit') is always an argument, regardless of whether it is marked ACC -o or ABL kara. The source elides even with an overt manner adverb (suguni 'quickly'), which would be impossible if it were an adjunct.

source
structure Phenomena.Ellipsis.Studies.Funakoshi2016.EllipsisDatum :
Type

Funakoshi's generalization: adjuncts can be elided under VP ellipsis only if no other VP-internal elements are present.

  • elidedConstituent : String

    The elided constituent

  • isArgument : Bool

    Whether it is an argument or adjunct

  • otherVPInternalOvert : Bool

    Whether another VP-internal element is overt in the ellipsis site

  • available : Bool

    Is the ellipsis reading available?

  • sentence : String

    Example sentence

Instances For
    source
    instance Phenomena.Ellipsis.Studies.Funakoshi2016.instDecidableEqEllipsisDatum :
    DecidableEq EllipsisDatum
    Equations
    source
    def Phenomena.Ellipsis.Studies.Funakoshi2016.instDecidableEqEllipsisDatum.decEq (x✝ x✝¹ : EllipsisDatum) :
    Decidable (x✝ = x✝¹)
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      instance Phenomena.Ellipsis.Studies.Funakoshi2016.instBEqEllipsisDatum :
      BEq EllipsisDatum
      Equations
      source
      def Phenomena.Ellipsis.Studies.Funakoshi2016.instBEqEllipsisDatum.beq :
      EllipsisDatum → EllipsisDatum → Bool
      Equations
      Instances For
        source
        instance Phenomena.Ellipsis.Studies.Funakoshi2016.instReprEllipsisDatum :
        Repr EllipsisDatum
        Equations
        source
        def Phenomena.Ellipsis.Studies.Funakoshi2016.instReprEllipsisDatum.repr :
        EllipsisDatum → Nat → Std.Format
        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Phenomena.Ellipsis.Studies.Funakoshi2016.adjunct_blocked :
          EllipsisDatum

          Adjunct elision is blocked when another VP-internal element is overt.

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Phenomena.Ellipsis.Studies.Funakoshi2016.argument_ok :
            EllipsisDatum

            Argument elision succeeds even when another VP-internal element is overt.

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              source
              theorem Phenomena.Ellipsis.Studies.Funakoshi2016.generalization_holds :
              adjunct_blocked.available = false ∧ argument_ok.available = true

              Funakoshi's generalization holds: adjunct elision is blocked when another VP-internal element is overt, but argument elision is not.

              source
              def Phenomena.Ellipsis.Studies.Funakoshi2016.funakoshiPredicts (d : EllipsisDatum) :
              Bool

              The generalization as a decidable predicate: if the elided constituent is an adjunct AND another VP-internal element is overt, elision is blocked.

              Equations
              Instances For
                source
                theorem Phenomena.Ellipsis.Studies.Funakoshi2016.adjunct_blocked_predicted :
                funakoshiPredicts adjunct_blocked = true
                source
                theorem Phenomena.Ellipsis.Studies.Funakoshi2016.argument_ok_predicted :
                funakoshiPredicts argument_ok = true