Documentation

Linglib.Fragments.Hungarian.FunctionWords

Hungarian Function Words Fragment #

@cite{egressy-2026}

Closed-class functional items relevant to Hungarian clause structure.

Complementizer hogy #

The complementizer hogy 'that' is the key structural marker in @cite{egressy-2026}: its presence signals a full CP complement (phase boundary, opaque to tense Agree), while its absence signals a bare TP complement (transparent to tense Agree).

Unlike English that, Hungarian hogy is not optional in finite complement clauses — its presence or absence correlates with genuine structural differences in complement size, not merely with register or style.

source
structure Fragments.Hungarian.FunctionWords.HungarianCompEntry :
Type

Hungarian complementizer entry.

  • form : String

    Surface form

  • gloss : String

    English gloss

  • complementSize : Minimalism.ComplementSize

    The complement size this complementizer projects

  • obligatory : Bool

    Is the complementizer obligatory in its context?

Instances For
    source
    def Fragments.Hungarian.FunctionWords.instReprHungarianCompEntry.repr :
    HungarianCompEntry → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      instance Fragments.Hungarian.FunctionWords.instReprHungarianCompEntry :
      Repr HungarianCompEntry
      Equations
      source
      def Fragments.Hungarian.FunctionWords.instBEqHungarianCompEntry.beq :
      HungarianCompEntry → HungarianCompEntry → Bool
      Equations
      Instances For
        source
        instance Fragments.Hungarian.FunctionWords.instBEqHungarianCompEntry :
        BEq HungarianCompEntry
        Equations
        source
        def Fragments.Hungarian.FunctionWords.hogy :
        HungarianCompEntry

        hogy 'that' — complementizer projecting a full CP. @cite{egressy-2026}: hogy-clauses constitute CP phase boundaries, blocking upward Agree for [uPAST].

        Equations
        Instances For
          source
          theorem Fragments.Hungarian.FunctionWords.hogy_projects_cp :
          hogy.complementSize = Minimalism.ComplementSize.cP

          hogy projects a CP (phase-sized, opaque to tense Agree).

          source
          theorem Fragments.Hungarian.FunctionWords.hogy_opaque :
          hogy.complementSize.transparentToTenseAgree = false

          hogy-complements are opaque to tense Agree.

          source
          theorem Fragments.Hungarian.FunctionWords.hogy_obligatory :
          hogy.obligatory = true

          hogy is obligatory (not optional like English "that").