Documentation

Linglib.Fragments.Turkish.Predicates

Turkish Predicate Lexicon Fragment #

@cite{qing-uegaki-2025}

Turkish predicates relevant to @cite{qing-uegaki-2025}. Properties like C-distributivity and NVP class are DERIVED from the attitudeBuilder field.

source
structure Fragments.Turkish.Predicates.TurkishVerbEntryextends Core.Verbs.VerbCore :
Type

Turkish verb entry: extends VerbCore with Turkish inflectional paradigm.

Instances For
    source
    instance Fragments.Turkish.Predicates.instReprTurkishVerbEntry :
    Repr TurkishVerbEntry
    Equations
    source
    def Fragments.Turkish.Predicates.instReprTurkishVerbEntry.repr :
    TurkishVerbEntry → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      instance Fragments.Turkish.Predicates.instBEqTurkishVerbEntry :
      BEq TurkishVerbEntry
      Equations
      source
      def Fragments.Turkish.Predicates.instBEqTurkishVerbEntry.beq :
      TurkishVerbEntry → TurkishVerbEntry → Bool
      Equations
      Instances For
        source
        def Fragments.Turkish.Predicates.kork :
        TurkishVerbEntry

        "kork-" — fear (Class 2: C-distributive, negative).

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Fragments.Turkish.Predicates.um :
          TurkishVerbEntry

          "um-" — hope (Class 3: C-distributive, positive, anti-rogative).

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Fragments.Turkish.Predicates.merakEt :
            TurkishVerbEntry

            "merak et-" — wonder/be curious (rogative, non-preferential).

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              source
              def Fragments.Turkish.Predicates.endiselen :
              TurkishVerbEntry

              "endişelen-" — worry (Class 1: non-C-distributive).

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

                Causative predicates #

                Turkish morphological causative suffix -dür (@cite{song-1996}: COMPACT type). Allomorphs: -dür, -tür, -dir, -tir (vowel harmony). "Ali Hasan-ı öl-dür-dü" = "Ali killed Hasan" (öl 'die' + -dür CAUS)

                source
                def Fragments.Turkish.Predicates.ol_dur :
                TurkishVerbEntry

                öl-dür-mek — die-CAUS = "to kill" (morphological COMPACT causative).

                Equations
                • One or more equations did not get rendered due to their size.
                Instances For
                  source
                  def Fragments.Turkish.Predicates.yap_tir :
                  TurkishVerbEntry

                  yap-tır-mak — do-CAUS = "to make (someone) do" (productive causative).

                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For
                    source
                    theorem Fragments.Turkish.Predicates.ol_dur_is_make :
                    ol_dur.causativeBuilder = some NadathurLauer2020.Builder.CausativeBuilder.make

                    Turkish causative -dür uses .make builder.

                    source
                    def Fragments.Turkish.Predicates.allVerbs :
                    List TurkishVerbEntry
                    Equations
                    • One or more equations did not get rendered due to their size.
                    Instances For
                      source
                      def Fragments.Turkish.Predicates.lookup (form : String) :
                      Option TurkishVerbEntry
                      Equations
                      Instances For