Documentation

Studies.ColeHermon2008

Cole and Hermon 2008: VP raising in a VOS language #

Toba Batak is verb-initial: the unmarked clause is V-O-S, with indirect objects and adverbials after the subject; direct objects and passive agents cannot be extracted while subjects, indirect objects and adverbials can; and the active subject binds a reflexive object, the passive agent a reflexive passive subject and, on the authors' own fieldwork, the passive subject a reflexive passive agent, while the active object cannot bind a reflexive subject. The paper derives all three from one derivation. The verb adjoins to Voice, the indirect object and then the subject raise out of VoiceP to specifiers of functional heads, and the remnant VoiceP raises over them, so word order is the order of extraction.

Whatever is still inside VoiceP when it raises is frozen there, so the object and the passive agent, which never leave, cannot be extracted. Binding requires c-command at some stage of the derivation, so the passive agent binds from the base and the passive subject after it raises past the agent, while the active object never c-commands the subject. Schachter and Sugamoto's Semantic Hierarchy Condition, actor over patient over dative, licenses the passive agent but cannot separate the passive subject as antecedent, acceptable if less usual (Table 1's Type B), from the active object as antecedent, ill-formed for every speaker (Type C); surface c-command fits neither VOS passive and reconstruction to the last stage before VoiceP raises only one of them.

Surface SVO clauses raise the subject once more, past the fronted VoiceP, so they freeze the object as VOS clauses do, against the hypothesis that VoiceP stays in place. The sides at which Merge attaches the material inside vP change neither the derived objects nor the surface order, which the paper takes as grounds to propose that Merge is unordered and order a by-product of Move. English, whose passive agent is an adjunct below the patient, lets the patient bind it but never the converse.

The derivation is a Derivation on the syntactic-object carrier, freezing and binding at a stage are the substrate's Derivation.ObeysFreezing, CCommandsAt and BindsAtSomeStage, and the paper's examples are the rows: vos_remnant says that the raised VoiceP is a remnant, vos_hypothesis_only and derivational_only single out, among the candidate analyses of word order and of binding, the paper's own, Licenses.derivational shows the paper's binding condition the weakest of the configurational ones, table1 derives its three grades, stageAt_sides and surface_sides are the §6 claim over every attachment choice, and english_passive the §7 contrast.

Implementation notes #

TODO #

References #

The clause and its derivations (§4.1–§4.2) #

The slots a clause's arguments fill are the two core positions of vP, the external one the agent's and the internal one the patient's, and the goal of a ditransitive.

Instances For
    def ColeHermon2008.instReprArg.repr :
    Arg → ℕ → Std.Format
    Equations
    Instances For
      @[instance_reducible]
      Equations

      A transitive clause records its voice, verb, agent and patient, and the goal PP of a ditransitive, which enters as one leaf.

      Instances For

        The i-th functional head F, for i ≥ 1.

        Equations
        Instances For

          The complementizer, whose specifier a fronted wh-phrase raises to.

          Equations
          Instances For
            @[reducible, inline]

            The side at which each of the five base Merges attaches its item.

            Equations
            Instances For
              def ColeHermon2008.Clause.of (voice : Voice) (verb agent patient : String) (goal : Option String := none) :

              A clause from its words, the tokens numbered verb, agent, patient and goal after the voice head.

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

                The pivot is the argument the voice raises to subject position, the agent in the active and the patient in the passive, the slot the voice selects.

                Equations
                Instances For

                  The paper's own trees (50) and (57) put complements on the right, and the light verb, the agent, Voice and, in a ditransitive, the patient, [Lar88]'s specifier of VP, on the left.

                  Equations
                  Instances For

                    In the base (50), (57), {Voice, {Agent, {v, VP}}}, the verb takes the patient, or the goal and then the patient, then the light verb, the agent and Voice, each Merge on the side σ gives.

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

                      The verb adjoins to Voice, (51)–(52), as the verb raises and Voice raises over it.

                      Equations
                      Instances For

                        The goal, then the pivot, raise to specifiers of F, (59)–(60), (63)–(64), (72)–(73), the order of extraction that places the goal after the subject.

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

                          The remnant VoiceP that raises, (55), (61), has Voice and the verb over their traces, and the pivot and the goal replaced by theirs.

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

                            svoStage is the derivation up to the last stage before VoiceP raises, an SVO stage, as in (54), (60), (64), (73) and (76).

                            Equations
                            Instances For

                              In the VOS derivation, (55), (61), (65), (74), (77), the remnant VoiceP raises over the evacuated goal and pivot.

                              Equations
                              Instances For

                                In the SVO derivation under the VOS Hypothesis, (83)–(84), the pivot raises once more, past the fronted VoiceP.

                                Equations
                                Instances For

                                  In the SVO derivation under the SVO Hypothesis (§5), for which the paper draws no tree, the pivot raises and VoiceP, the goal inside it, stays.

                                  Equations
                                  Instances For

                                    The marked V-O-IO-S order (14), the pivot extracted before the goal; fn. 25 derives the adverbial (16) the same way.

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

                                      Word order (§3.1, §3.3, §4.1, §4.2, §5) #

                                      (49) Mang-ida si-Mary si-John 'John saw Mary'.

                                      Equations
                                      Instances For

                                        (56) Mang-alean buku si-John tu si-Mary 'John gave a book to Mary'.

                                        Equations
                                        Instances For

                                          (13) without sada 'one', Di-lean si-John buku tu si-Mary 'The book was given to Mary by John', and (14).

                                          Equations
                                          Instances For

                                            (67) Di-ida si-Torus dirina 'Himself was seen by Torus'.

                                            Equations
                                            Instances For

                                              (81) Dakdanak-on mang-atuk biang-i 'This boy hit the dog'.

                                              Equations
                                              Instances For

                                                (85) Si-John mang-alean aha tu si-Mary 'What did John give to Mary?'.

                                                Equations
                                                Instances For
                                                  theorem ColeHermon2008.vos_orders :
                                                  ex49.vos.surfacePhon = ["mang-", "ida", "si-Mary", "si-John"] ∧ ex67.vos.surfacePhon = ["di-", "ida", "si-Torus", "dirina"]

                                                  The monotransitive VOS clause (49) and the passive (67).

                                                  theorem ColeHermon2008.ex56_vosi :
                                                  ex56.vos.surfacePhon = ["mang-", "alean", "buku", "si-John", "tu si-Mary"]

                                                  The ditransitive V-O-S-IO clause (56), the goal evacuated before the subject.

                                                  theorem ColeHermon2008.ex13_orders :
                                                  ex13.vos.surfacePhon = ["di-", "lean", "si-John", "buku", "tu si-Mary"] ∧ ex13.vois.surfacePhon = ["di-", "lean", "si-John", "tu si-Mary", "buku"]

                                                  The passive (13) and, with the subject evacuated first, the marked (14).

                                                  theorem ColeHermon2008.ex81_orders :
                                                  ex81.vos.surfacePhon = ["mang-", "atuk", "biang-i", "dakdanak-on"] ∧ ex81.svo.surfacePhon = ["dakdanak-on", "mang-", "atuk", "biang-i"]

                                                  In both orders of (81), the SVO derivation raises the subject past the fronted VoiceP.

                                                  theorem ColeHermon2008.ex85_svoi :
                                                  ex85.svo.surfacePhon = ["si-John", "mang-", "alean", "aha", "tu si-Mary"]

                                                  The SVO ditransitive (85), S-V-O-IO.

                                                  VoiceP raising is remnant movement (§4.1–§4.2): the raised VoiceP holds the traces of the verb, Voice, the pivot and, in (56), the goal.

                                                  Every clause goes through a VOS stage (§5) #

                                                  theorem ColeHermon2008.svo_take_vos (c : Clause) (σ : Sides) :
                                                  (c.svo σ).take (c.vos σ).length = c.vos σ

                                                  The SVO derivation extends the VOS derivation.

                                                  theorem ColeHermon2008.frozen_svo_iff (c : Clause) (σ : Sides) (x : Minimalist.SyntacticObject) :
                                                  (c.svo σ).Frozen x ↔ (c.vos σ).Frozen x

                                                  Freezing is the same in SVO and VOS clauses: the further raising of the pivot, a leaf, freezes nothing.

                                                  The rows #

                                                  The word order of a clause.

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

                                                      The two analyses of SVO clauses (§5) are that every clause passes through VOS and that VoiceP stays in place in SVO clauses.

                                                      Instances For
                                                        @[instance_reducible]
                                                        Equations
                                                        Equations
                                                        • One or more equations did not get rendered due to their size.
                                                        Instances For
                                                          def ColeHermon2008.voices :
                                                          List (String × Voice)

                                                          The value of a row's feature, read through a table; List.lookup keeps key and value in one universe.

                                                          Equations
                                                          Instances For
                                                            def ColeHermon2008.args :
                                                            List (String × Arg)
                                                            Equations
                                                            • One or more equations did not get rendered due to their size.
                                                            Instances For

                                                              Toba Batak's Glottocode.

                                                              Equations
                                                              Instances For

                                                                English's Glottocode.

                                                                Equations
                                                                Instances For

                                                                  Extraction (§3.2, §4, §5) #

                                                                  An extraction datum's configuration is a wh-phrase in the given argument slot, fronted or in situ, in a clause of the given voice, order and transitivity.

                                                                  • voice : Voice

                                                                    The clause's voice.

                                                                  • order : WordOrder

                                                                    The clause's word order.

                                                                  • ditransitive : Bool

                                                                    Whether the clause has a goal PP.

                                                                  • extracted : Arg

                                                                    The argument slot the wh-phrase fills.

                                                                  • fronted : Bool

                                                                    Whether the wh-phrase is fronted rather than in situ.

                                                                  Instances For

                                                                    A schematic clause of the configuration.

                                                                    Equations
                                                                    Instances For

                                                                      Under a hypothesis, a fronted wh-phrase is predicted licit exactly when its fronting to Spec,CP obeys Freezing, and a wh-phrase in situ is unconstrained.

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

                                                                        The configuration a row records.

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

                                                                          Only the VOS Hypothesis fits the extraction data ((7)–(10), (43)–(44), (85)–(88)). The direct object and the passive agent, frozen in the fronted VoiceP, cannot be fronted in either order, the goal, evacuated before VoiceP raises, can, and with VoiceP in place the object of an SVO clause would be free.

                                                                          Binding (§3.4–§3.7, §4.3) #

                                                                          [Sch84]'s Semantic Hierarchy (28a) is actor > patient > dative. A role outranks another, the antecedency condition (28b) of [Sch84] and [Sug84], when it comes earlier in the list, [r, s].Sublist roleHierarchy; the relation is strict, as fn. 14 reads it, since only then does the absence of dative antecedents follow.

                                                                          Equations
                                                                          Instances For

                                                                            A binding datum's configuration is the pair of the antecedent's and the reflexive's argument slots in a clause of the given voice and order.

                                                                            • voice : Voice

                                                                              The clause's voice.

                                                                            • order : WordOrder

                                                                              The clause's word order.

                                                                            • antecedent : Arg

                                                                              The argument slot of the antecedent.

                                                                            • reflexive : Arg

                                                                              The argument slot of the reflexive.

                                                                            Instances For

                                                                              A schematic clause of the configuration.

                                                                              Equations
                                                                              Instances For

                                                                                The configuration a row records.

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

                                                                                  The candidate binding conditions of §4.3 are c-command at the surface, at the last stage before VoiceP raises and at some stage, and the Semantic Hierarchy Condition.

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

                                                                                      The configuration a candidate condition reads on the argument slots of one clause. The three configurational candidates compare the slots' tokens by c-command at the surface, at the last SVO stage or at some stage; the Semantic Hierarchy compares their roles in roleHierarchy.

                                                                                      Equations
                                                                                      Instances For

                                                                                        A candidate licenses a configuration when, under the candidate's configuration, the reflexive meets Condition A, coindexed with its antecedent alone.

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

                                                                                          C-command at some stage licenses whatever c-command at the surface or at the last SVO stage licenses, so the paper's condition is the weakest of the configurational candidates.

                                                                                          Only c-command at some stage fits the binding data of Table 1 ((17), (21), (37), (62), (66)–(68)). Surface c-command loses every VOS antecedent, (62) and both passive orders (67)–(68), reconstruction to the last SVO stage loses the passive agent (67), and the Semantic Hierarchy loses the passive subject ((37), (68)).

                                                                                          Table 1's grades.

                                                                                          Instances For
                                                                                            @[instance_reducible]
                                                                                            Equations
                                                                                            def ColeHermon2008.instReprGrade.repr :
                                                                                            Grade → ℕ → Std.Format
                                                                                            Equations
                                                                                            • One or more equations did not get rendered due to their size.
                                                                                            Instances For

                                                                                              The grade of a configuration reads the Semantic Hierarchy Condition as an addition to derivational binding rather than a substitute for it (§3.7). It is Type A when the antecedent c-commands the reflexive at some stage and outranks it, Type B when it c-commands without outranking, and Type C when it never c-commands.

                                                                                              Equations
                                                                                              • One or more equations did not get rendered due to their size.
                                                                                              Instances For
                                                                                                theorem ColeHermon2008.table1 (row : Datum) :
                                                                                                row ∈ Examples.all → ∀ a ∈ Reflexivization.ofRow row, ∀ g ∈ row.parse? "tableOne" [("A", Grade.typeA), ("B", Grade.typeB), ("C", Grade.typeC)], a.grade = g

                                                                                                Each row has the grade Table 1 gives it.

                                                                                                Stage by stage through the passive (67)–(68), (72)–(74) and (75)–(77), the agent c-commands the patient once the verb has adjoined to Voice, stage 6, and not once the patient has raised, the patient c-commands the agent once raised and not before, and neither does at the surface, once VoiceP has raised.

                                                                                                Merge is unordered (§6) #

                                                                                                theorem ColeHermon2008.vos_leftward (c : Clause) (σ σ' : Sides) :
                                                                                                (c.vos σ).leftward = (c.vos σ').leftward

                                                                                                Up to the sides of its Merges, the VOS derivation is one derivation.

                                                                                                theorem ColeHermon2008.stageAt_sides (c : Clause) (σ σ' : Sides) (n : ℕ) :
                                                                                                (c.vos σ).stageAt n = (c.vos σ').stageAt n

                                                                                                The sides at which the base Merges attach change no stage of the derivation, so binding, which reads the stages, cannot see them ((89)–(94)).

                                                                                                theorem ColeHermon2008.frozen_sides (c : Clause) (σ σ' : Sides) (x : Minimalist.SyntacticObject) :
                                                                                                (c.vos σ).Frozen x ↔ (c.vos σ').Frozen x

                                                                                                Nor can freezing, which reads the movers.

                                                                                                theorem ColeHermon2008.surface_sides (σ : Sides) :
                                                                                                (ex56.vos σ).surfacePhon = ["mang-", "alean", "buku", "si-John", "tu si-Mary"]

                                                                                                Nor can the surface order (56), since every one of the thirty-two attachments, (57), (91) and, up to the omitted XP, (89) among them, externalizes to V-O-S-IO.

                                                                                                English passives (§7) #

                                                                                                In the English passive (97)–(98) of (95), the patient is [Lar88]'s specifier of VP and the agent an adjunct, a by-phrase leaf below it, with no argument in Spec,vP, since the passive participle projects none; the patient raises to Spec,FP, Spec,TP in English.

                                                                                                Equations
                                                                                                • One or more equations did not get rendered due to their size.
                                                                                                Instances For
                                                                                                  theorem ColeHermon2008.english_order :
                                                                                                  englishPassive.surfacePhon = ["the boy", "was injured", "by himself"]

                                                                                                  (95) externalizes.

                                                                                                  englishPair? is the pair a row's roles pick out in the English derivation, in which the patient is the raised DP and the agent the by-phrase, which fills no core position.

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

                                                                                                    In (95)–(96) the patient binds the agent, which never c-commands it. Raising the patient reverses its c-command relation with the agent only when the agent is an argument above it, as in Toba Batak; the paper remarks, without arguing it, that if this treatment of English is right, [Col05]'s smuggling derivation, in which the passive agent is Merged as in the active, cannot be maintained.