Documentation

Studies.Bruening2001

Bruening 2001: QR obeys Superiority #

[Bru01] accounts for frozen scope: I gave a child each doll has only the surface reading while its dative counterpart I gave a doll to each child is ambiguous, and the freezing is not an inability to move, since it holds between two objects but not between an object and the subject, and it disappears under passivization. Quantifiers raise by attraction to a head bearing a P-feature; by Shortest ([Ric97]) the attractor takes the structurally highest candidate first, and later movements tuck in beneath, so the attraction order, and with it the scope order, is the base order.

The contrast then follows from structure alone. In the double object construction the first object asymmetrically c-commands the second ([BL86], [Lar88], [Pyl08]), so only the goal can be attracted first and scope is frozen; in the locative the direct object and the PP are co-arguments that c-command each other, so either may go first and scope is free. The subject sits in the attracting head's specifier, outside its domain, which is why the second object can still scope over it and why a passivized double object construction is ambiguous again.

References #

Attraction under Shortest #

A quantifier the P-feature-bearing head can attract is one in its c-command domain. The subject, merged in the head's specifier, is not among them.

Equations
Instances For

    Shortest licenses attracting x first only when no other candidate asymmetrically c-commands it, since such a candidate would form a smaller well-formed pair with the attractor. Thus x is a closest goal among the candidates.

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

      Since later movements tuck in beneath earlier ones, the quantifier attracted first takes widest scope, so scope is ambiguous exactly when two candidates may be attracted first.

      Equations
      Instances For
        theorem Bruening2001.not_licensedFirst_of_asymCCommand {tree head x y : Minimalist.SyntacticObject} {qs : List Minimalist.SyntacticObject} (hy : y ∈ qs) (hattr : Attractable tree head y) (hasym : tree.AsymmCCommands y x) :
        ¬LicensedFirst tree head qs x

        A candidate that some other candidate asymmetrically c-commands is never attracted first, whatever interpretation moving it first would produce.

        theorem Bruening2001.ambiguous_of_mutual_cCommand {tree head x y : Minimalist.SyntacticObject} {qs : List Minimalist.SyntacticObject} (hx : x ∈ qs) (hy : y ∈ qs) (hne : x ≠ y) (hattrx : Attractable tree head x) (hattry : Attractable tree head y) (hxy : tree.CCommands x y) (hyx : tree.CCommands y x) (hother : ∀ z ∈ qs, z = x ∨ z = y) :
        Ambiguous tree head qs

        Two candidates that c-command each other both satisfy Shortest, since the pairs they form with the attractor are equivalent, so either may be attracted first.

        The double object construction #

        The light verb bearing the P-feature that attracts quantifiers ([Kra96]'s Voice).

        Equations
        Instances For

          The applicative head introducing the first object ([Pyl08]).

          Equations
          Instances For

            The first object, the goal.

            Equations
            Instances For

              The second object, the theme.

              Equations
              Instances For

                The preposition of the locative variant.

                Equations
                Instances For

                  {Ozzy, {v, {gave, {a girl, {Appl, every telescope}}}}}. The first object is the argument of the applicative head, merged above the projection containing the second, so it asymmetrically c-commands it.

                  Equations
                  Instances For

                    The quantifiers competing for attraction in the double object construction.

                    Equations
                    Instances For

                      The first object asymmetrically c-commands the second ([BL86]).

                      Only the first object may be attracted first, so the derivation fixes the base order and the second object cannot come to scope over the first: I gave a (#different) child each doll.

                      No two candidates may be attracted first, so the double object construction is unambiguous.

                      The locative variant #

                      {Ozzy, {v, {gave, {every telescope, {to, a girl}}}}}. The direct object and the PP are co-arguments of the same head, hence sisters, and c-command each other.

                      Equations
                      Instances For

                        The candidates in the locative, the direct object and the PP that pied-pipes the goal.

                        Equations
                        Instances For

                          Direct object and PP c-command each other, so neither asymmetrically c-commands the other.

                          Either candidate may be attracted first, so the locative is ambiguous: I gave a doll to each child has both readings.

                          The freezing is relativized #

                          The subject is merged in the attractor's specifier, outside its c-command domain, so it never competes with the objects for attraction, and either object can take scope over it even where the two objects' relative scope is frozen.

                          The passive of a double object construction. With no external argument, the goal raises to the subject position, out of the attractor's domain, leaving the theme as the only candidate.

                          Equations
                          Instances For

                            In the passive the derived subject is no longer attractable while the theme is, so Shortest imposes no order between them and the ambiguity returns: a (different) girl was given every telescope.