Documentation

Linglib.Fragments.French.Predicates

French Predicate Lexicon Fragment #

@cite{song-1996}

French causative predicates, centered on the faire causative. @cite{song-1996} classifies faire as a COMPACT causative with free morpheme realization: the causative and effect verbs form a tight syntactic unit despite being separate words.

"Je ferai lire le livre à Nicole" = "I will make Nicole read the book" (faire + infinitive = single predicate for case marking purposes)

source
structure Fragments.French.Predicates.FrenchVerbEntryextends Core.Verbs.VerbCore :
Type

French verb entry: extends VerbCore with French inflectional paradigm.

Instances For
    source
    instance Fragments.French.Predicates.instReprFrenchVerbEntry :
    Repr FrenchVerbEntry
    Equations
    source
    def Fragments.French.Predicates.instReprFrenchVerbEntry.repr :
    FrenchVerbEntry → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      def Fragments.French.Predicates.instBEqFrenchVerbEntry.beq :
      FrenchVerbEntry → FrenchVerbEntry → Bool
      Equations
      Instances For
        source
        instance Fragments.French.Predicates.instBEqFrenchVerbEntry :
        BEq FrenchVerbEntry
        Equations
        source
        def Fragments.French.Predicates.faire :
        FrenchVerbEntry

        faire — COMPACT causative (free morpheme).

        Equations
        • One or more equations did not get rendered due to their size.
        Instances For
          source
          def Fragments.French.Predicates.laisser :
          FrenchVerbEntry

          laisser — permissive causative ("let").

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

            French faire uses .make builder.

            source
            theorem Fragments.French.Predicates.laisser_is_enable :
            laisser.causativeBuilder = some NadathurLauer2020.Builder.CausativeBuilder.enable

            French laisser uses .enable builder (permissive).

            source
            theorem Fragments.French.Predicates.faire_laisser_different :
            faire.causativeBuilder ≠ laisser.causativeBuilder

            faire and laisser have different builders (make vs enable).

            source
            def Fragments.French.Predicates.allVerbs :
            List FrenchVerbEntry
            Equations
            Instances For
              source
              def Fragments.French.Predicates.lookup (form : String) :
              Option FrenchVerbEntry
              Equations
              Instances For