Documentation

Studies.Sorace2000

Sorace (2000): Gradients in auxiliary selection with intransitive verbs #

[Sor00] argues that the perfect auxiliary of a monadic intransitive verb in Italian, French, Dutch and German depends on the verb's place on the Auxiliary Selection Hierarchy (AuxiliarySelectionHierarchy, Table 1): the transitions and states, ordered by decreasing telicity, followed by the processes, ordered by increasing control. Verbs of telic change of location take be and verbs of controlled nonmotional process take have, categorically, in every language and whatever the rest of the sentence contributes; these core types are the two ends of the hierarchy. The types between them allow both auxiliaries, to a degree that depends on their position, and respond to the telicity of the predicate and the agentivity of the subject. Each language draws a cutoff point on the hierarchy between the verbs that take be and those that take have, and the cutoff moves from language to language without reaching the core (§6).

The data are the paper's examples, one row per sentence with the judgment of each auxiliary it prints. The theorems are the generalizations the paper draws from them: the rigid core (changeOfLocation_selects_be, nonmotionalProcess_selects_have), variation confined to the types between (free_alternation_iff), the cutoff point of each language (italian_cutoff, french_cutoff, dutch_cutoff, cutoff_varies), and the sensitivity of verbs of motion to a directional phrase (directional_motionalProcess, italian_directional_split). Italian cuts at the seam of the two halves of the hierarchy, where the states end and the processes begin.

The German examples cross (german_crossing): halten 'last', a verb of continuation of a state, takes haben and rejects sein (17a), while rennen, laufen and schwimmen, controlled motional processes further down the hierarchy, take sein and reject haben under a durative adverbial (38). So no cutoff point separates the German verbs at the granularity of Table 1 (german_no_cutoff). The paper reports the German motion verbs (§4.3) and allows a language to merge types or to divide them more finely (fn. 17, §6); a German cutoff needs the types from continuation of a state to motional process merged into one.

The examples are linked by their verb to the entries of the four fragments. ofVerb places each linked verb on the type the paper gives it, except where the entries draw a finer line than Table 1 (ofVerb_entry). Each fragment records the auxiliaries its reference grammar gives a verb, [MR07] §14.20 for Italian, [BC26b] §§2.1–2.2 for Dutch, [Dur11] §12.3.2 for German and the lists of [GG08] §§811–813 for French, and each linked verb with one auxiliary has the one the paper's judgments prefer (entry_aux_of_prefers). With the entries placed by ofVerb, each grammar cuts the hierarchy exactly where the judgments do (entries_cut_iff_cutoff), and the Italian rule is that cut for every verb (italian_perfect_eq_be_iff).

Implementation notes #

TODO #

References #

The four languages of the paper.

Instances For
    @[instance_reducible]
    Equations
    def Sorace2000.instReprLanguage.repr :
    Language → ℕ → Std.Format
    Equations
    Instances For

      A phrase that changes the telicity of the predicate: a directional or bounding phrase makes it telic, a durative adverbial atelic.

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

          A subject whose agentivity departs from the default of the verb's type.

          Instances For
            @[instance_reducible]
            Equations
            Equations
            • One or more equations did not get rendered due to their size.
            Instances For
              structure Sorace2000.Row :

              An example sentence: its language, its verb and the verb's type, the departures from the default of the type, and the judgment of the sentence with each auxiliary the paper prints.

              Instances For
                def Sorace2000.Row.ofDatum (ex : Datum) :
                Option Row

                The row of an example, from its language, its verb, position, aux, predicate and subject features, and its alternative with the other auxiliary.

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

                  The paper's examples.

                  Equations
                  Instances For

                    The sentence of a row is judged better with auxiliary a than with b.

                    Equations
                    Instances For
                      @[instance_reducible]
                      instance Sorace2000.instDecidablePrefers (r : Row) (a b : Verb.PerfectAuxiliary) :
                      Decidable (r.Prefers a b)
                      Equations
                      • One or more equations did not get rendered due to their size.

                      The core #

                      §3.1, (1), (4), (5), (30a): a verb of change of location takes be and rejects have in all four languages, with an atelic predicate (4) and with an agentive or a nonagentive subject (5).

                      §4.1, (33)–(36): a verb of controlled nonmotional process takes have in all four languages, also when an adverbial bounds the event (35); be is at best marginal, with a nonagentive subject ((34), (36b)).

                      §§2, 6: some verb of a type takes both auxiliaries acceptably exactly when the type is not at either end of the hierarchy.

                      The cutoff point #

                      The rows of a language without a departure from the default of their type.

                      Equations
                      Instances For

                        A cutoff point for a language at type k (§6): each of its sentences that prefers be has a verb of type at most k, and each that prefers have a verb of type at least k. Verbs of type k itself may go either way, as when a language divides a type more finely.

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

                          Under a cutoff point, a sentence preferring be has a verb no lower on the hierarchy than a sentence preferring have.

                          (7), (15), (20) against (37), (41), (44)–(47), (50): Italian cuts at the seam of the hierarchy, after the last of the states or before the first of the processes.

                          (12), (16), (19a), (22), (37c), (42a): French cuts within the continuation of a state, where rester 'remain' takes être (19a) and survivre 'survive' avoir (16).

                          (10a), (18b), (19b), (37b), (39a): Dutch also cuts within the continuation of a state, where blijven 'remain' takes zijn (19b) and duren 'last' hebben (18b).

                          §6: "The cutoff point cannot be identical in all languages."

                          (17a), (38): a German verb of motion that prefers sein sits below a verb of continuation of a state that prefers haben.

                          No cutoff point separates the German verbs at the granularity of Table 1.

                          Directional phrases #

                          §4.3, (39)–(42): a directional phrase makes Dutch and German verbs of motion prefer be ((39b), (40b)), where without one they prefer have ((39a), (40a)); in French the auxiliary stays avoir (42b).

                          The fragments #

                          The auxiliary of an entry's perfect, where its grammar gives it exactly one.

                          Equations
                          Instances For

                            The monadic entries of a language's fragment, those whose basic frame, the first, has no complement, each with the auxiliary its grammar gives its perfect, where it gives one.

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

                              The entry of a row's verb among the monadic entries of its language, with its auxiliary.

                              Equations
                              Instances For

                                ofVerb places the verb of an example on the paper's type, except where the entries draw a finer line than Table 1: the verbs of continuation whose entries mark no pre-existing state, survivre (16) and duren (18b), 'survive, last', are states of existence.

                                theorem Sorace2000.entry_aux_of_prefers (l : Language) (r : Row) :
                                r ∈ baseRows l → ∀ e ∈ r.entry?, ∀ (a b : Verb.PerfectAuxiliary), r.Prefers a b → e.2 = a

                                Each language's grammar gives the verb of an example the auxiliary its judgments prefer, where the example departs from the default of its type in neither predicate nor subject.

                                §6: with its monadic entries placed by ofVerb, each language's grammar cuts the hierarchy exactly where the paper's judgments do: Italian at the seam, French and Dutch at the continuation of a state, and German nowhere, since liegen 'lie', a state, takes haben and rennen 'run', a motional process, sein.

                                The Italian rule is the cut at the seam for every verb: on a frame without a direct object, a verb takes essere exactly when ofVerb places it among the transitions and states.