Documentation

Linglib.Fragments.Mandarin.Predicates

Mandarin Predicate Lexicon Fragment #

@cite{qing-uegaki-2025} @cite{glass-2025}

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

source
structure Fragments.Mandarin.Predicates.MandarinVerbEntryextends Core.Verbs.VerbCore :
Type

Mandarin verb entry: extends VerbCore with no inflectional morphology (Mandarin is an isolating language).

Instances For
    source
    instance Fragments.Mandarin.Predicates.instReprMandarinVerbEntry :
    Repr MandarinVerbEntry
    Equations
    source
    def Fragments.Mandarin.Predicates.instReprMandarinVerbEntry.repr :
    MandarinVerbEntry → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      instance Fragments.Mandarin.Predicates.instBEqMandarinVerbEntry :
      BEq MandarinVerbEntry
      Equations
      source
      def Fragments.Mandarin.Predicates.instBEqMandarinVerbEntry.beq :
      MandarinVerbEntry → MandarinVerbEntry → Bool
      Equations
      Instances For
        source
        def Fragments.Mandarin.Predicates.MandarinVerbEntry.mk' (core : Core.Verbs.VerbCore) :
        MandarinVerbEntry

        Smart constructor: sets only the citation form (no inflection).

        Equations
        Instances For
          source
          def Fragments.Mandarin.Predicates.qidai :
          MandarinVerbEntry

          期待 "qidai" — look forward to (Class 1: positive, non-C-distributive, takes questions).

          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            source
            def Fragments.Mandarin.Predicates.danxin :
            MandarinVerbEntry

            担心 "danxin" — worry (Class 1: negative, non-C-distributive).

            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              source
              def Fragments.Mandarin.Predicates.xiwang :
              MandarinVerbEntry

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

              Equations
              • One or more equations did not get rendered due to their size.
              Instances For
                source
                def Fragments.Mandarin.Predicates.haipa :
                MandarinVerbEntry

                害怕 "haipa" — fear (Class 2: negative, C-distributive, takes questions).

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

                  yǐwéi: Exceptional Postsupposition #

                  yǐwéi "be under the impression" has a POSTSUPPOSITION (output-context constraint) that ¬p is compatible with the Common Ground after the utterance. This is NOT a presupposition and cannot be derived from veridicality alone.

                  The postsupposition is interpreted in the Theory layer (ContrafactiveGap.lean). Here we just flag the exceptional behavior.

                  source
                  def Fragments.Mandarin.Predicates.yiwei :
                  MandarinVerbEntry

                  以为 "yǐwéi" — be under the impression that (weak contrafactive).

                  Exceptional: Has postsupposition ◇¬p (CG compatible with ¬p after utterance). This cannot be derived from veridicality; see @cite{glass-2025}.

                  Equations
                  • One or more equations did not get rendered due to their size.
                  Instances For
                    source
                    def Fragments.Mandarin.Predicates.hasExceptionalPostsupposition (form : String) :
                    Bool

                    Does this verb have an exceptional postsupposition (not derivable from veridicality)?

                    This is a theory-neutral flag. The actual CGRequirement interpretation happens in the Bridge layer (ContrafactiveGap.lean).

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