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 #
- A row's verb type is the type of the section its example illustrates; (36), from §4.2's controlled affecting processes, a subclass of the controlled processes, is a nonmotional process.
- The diacritics are read on the
Judgmentscale: unmarked is acceptable,?marginal,??questionable,?*and*?unacceptable,*ungrammatical. The paper's?*lies between??and*, which is whereunacceptablesits, although the scale glosses that value as a pragmatic failure. - A sentence prefers one auxiliary when the paper prints it with both and judges one better; fn. 3 measures the strength of a preference by the distance between the two. The cutoffs of French and Dutch rest on this: counting a sentence printed with one auxiliary as a choice would add crossings, French rougir 'blush' with avoir (13) below rester 'remain' with être (19a), Dutch duren 'last' with hebben (18b) below blijken 'seem' with zijn (24c).
- A row records the departures from the default of its type that the paper points to: a directional or bounding phrase that makes the predicate telic ((35), (39b), (40b), (41b), (41d), (42b), (49), (51)), a durative adverbial that makes it atelic ((4), (11)), an agentive subject ((5a), (15c), (45b), (46b)), or a nonagentive one ((34), (36b), (43), (44b)). The cutoff point is tested on the rows without one.
- Omitted examples: (2) and (3), frozen be in Romanian and English, which have no choice of auxiliary; §3.5's anticausatives, dyadic and off the hierarchy, except (30a), the one change-of-location verb printed with have; and (14b), the sense 'be elusive' of échapper, which the paper places on no type.
- §5's discussion of the projectionist and constructional models of the lexicon-syntax interface is argument, not formalized here.
- A row names its verb by the infinitive, the form of its entry among the monadic entries of its language's fragment, those whose basic frame, the first, has no complement, with the auxiliary their grammar gives them. A verb its grammar gives either auxiliary by meaning is left out, as French paraître (14a) ([GG08] §813a), Italian correre and durare ([MR07] §14.20) and Dutch lopen are.
- The grammars are tested on the paper's preferences. (21a) and (21b), bastare 'be enough' and appartenere 'belong' printed with avere alone, express none; the Italian grammar gives bastare essere, as (20b) does, and appartenere either.
TODO #
- The entries of tossire 'cough' and squillare 'ring' record no subject entailments, and
LevinClass.subjectProfilegives none for Levin's classes of these verbs, soofVerbplaces neither. A profile without volition would put (46) and (47) among the uncontrolled processes.
References #
Equations
- Sorace2000.instDecidableEqLanguage x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
- Sorace2000.instReprLanguage.repr Sorace2000.Language.french prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Sorace2000.Language.french")).group prec✝
- Sorace2000.instReprLanguage.repr Sorace2000.Language.dutch prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Sorace2000.Language.dutch")).group prec✝
- Sorace2000.instReprLanguage.repr Sorace2000.Language.german prec✝ = Repr.addAppParen (Std.Format.nest (if prec✝ ≥ 1024 then 1 else 2) (Std.Format.text "Sorace2000.Language.german")).group prec✝
Instances For
Equations
- Sorace2000.instReprLanguage = { reprPrec := Sorace2000.instReprLanguage.repr }
Equations
- Sorace2000.instFintypeLanguage = { elems := { val := ↑Sorace2000.Language.enumList, nodup := Sorace2000.Language.enumList_nodup }, complete := Sorace2000.instFintypeLanguage._proof_1 }
A phrase that changes the telicity of the predicate: a directional or bounding phrase makes it telic, a durative adverbial atelic.
- telicized : PredicateShift
- detelicized : PredicateShift
Instances For
Equations
- Sorace2000.instDecidableEqPredicateShift x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- Sorace2000.instReprPredicateShift = { reprPrec := Sorace2000.instReprPredicateShift.repr }
A subject whose agentivity departs from the default of the verb's type.
- agentive : SubjectShift
- nonagentive : SubjectShift
Instances For
Equations
- Sorace2000.instDecidableEqSubjectShift x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯
Equations
- Sorace2000.instReprSubjectShift = { reprPrec := Sorace2000.instReprSubjectShift.repr }
Equations
- One or more equations did not get rendered due to their size.
Instances For
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.
- language : Language
- verb : String
The infinitive of the verb.
- predicate : Option PredicateShift
- subject : Option SubjectShift
- judgment : Verb.PerfectAuxiliary → Option Judgment
Instances For
The paper's examples.
Equations
- Sorace2000.rows = List.filterMap Sorace2000.Row.ofDatum Sorace2000.Examples.all
Instances For
The sentence of a row is judged better with auxiliary a than with b.
Equations
Instances For
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
- Sorace2000.baseRows l = List.filter (fun (r : Sorace2000.Row) => decide (r.language = l ∧ r.predicate = none ∧ r.subject = none)) Sorace2000.rows
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).
§4.3, (41b), (41d): in Italian a directional phrase moves correre 'run' to essere but leaves nuotare 'swim' with avere.
The fragments #
The auxiliary of an entry's perfect, where its grammar gives it exactly one.
Equations
- Sorace2000.soleAuxiliary? v = List.find? (fun (x : Verb.PerfectAuxiliary) => decide (v.perfectAuxiliaries = {x})) [Verb.PerfectAuxiliary.be, Verb.PerfectAuxiliary.have]
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.
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.