Documentation

Studies.Levin1993

Levin (1993): English Verb Classes and Alternations #

This file formalizes Levin's diagnostic: a verb's participation in diathesis alternations follows from its meaning, so verbs fall into semantically coherent classes that share an alternation profile (ArgumentStructure.LevinClass.Participates). The book's opening quadruple break, cut, hit, touch takes four distinct profiles across the causative/inchoative, middle, conative, and body-part possessor ascension alternations, one class each (quadruple_profiles_distinct). The Introduction explains the profiles by four components of verb meaning, "motion, contact, change of state, and causation" (MeaningComponent), to which each of the four alternations is sensitive (sensitivity): the body-part possessor ascension alternation needs contact and the conative contact and motion, the middle causation of a change of state, and the causative/inchoative a pure change of state, one whose meaning does not specify how the change comes about. Only the last condition is lost when a meaning involves more components (isUpperSet_sensitivity, not_isUpperSet_sensitivity_causativeInchoative), and the components of the Introduction's characterizations of the four verbs meet the conditions exactly where the class pages of Part II attest the alternations (quadruple_mem_sensitivity_of_participates, quadruple_prediction_matches). Every categorical alternation judgment among the book's examples in Data/Examples/Levin1993.json agrees with the profile of the verb's class (participation_matches_profile). The alternations that pair two argument frames are frame-pair schemas (schema?), which relate two diatheses of a verb when the verb's participants move as the schema says; the causative/inchoative and induced action alternations, which relate the same diatheses, are told apart by the causee's volition (Shows, run_shatter), and every English fragment verb Levin lists has a class whose page it realizes (shows_class_alternations).

Implementation notes #

Rows record the verb's class by the book's section number and the alternation by name; classOf and alternationOf read them into the substrate's enumerations. A row's participation in its alternation is its judgment: an acceptable row attests the alternation, a starred row denies it, and a marginal row is categorical in neither direction.

The Introduction's conditions are necessary ones: a verb shows the body-part possessor ascension alternation "only if its meaning involves the notion of contact" (p. 8), and the causative/inchoative "is found only with verbs of pure change of state" (p. 10). Each is an interval of sets of components, and an alternation for which the Introduction states no condition has the whole lattice. A pure change of state may carry a cause, as break does "when transitive" (p. 9), so the causative/inchoative's interval runs from the change of state to the change of state with its cause.

A causee's entailments are the entry's own or else those its classes' templates agree on (Verb.participantProfile?). Where neither is recorded the causee meets no condition, so a verb shows the causative/inchoative or the induced action alternation only where Levin's condition is verified.

References #

The alternation named by a row's tag.

Equations
Instances For

    The class recorded on a row, by the book's section number.

    Equations
    Instances For

      The alternation recorded on a row.

      Equations
      Instances For

        Every categorical row whose alternation the class's Part II page tests agrees with the page: the row is acceptable exactly when the alternation is in the class's profile. The passive, the way construction, directional phrases and the swarm alternation are presented in Part One by verb list and not tested on the class pages, so those rows fall outside the check.

        The Introduction's quadruple #

        break, cut, hit and touch are told apart by the four diagnostic alternations (p. 7), and the Introduction explains the difference by the components of their meanings (pp. 7–10).

        A component of verb meaning to which diathesis alternations are sensitive, among "the notions of motion, contact, change of state, and causation" (p. 10).

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

            The sets of meaning components of the verbs that can show an alternation (p. 10): body-part possessor ascension "is sensitive to the notion of contact", the conative "to both contact and motion", the middle "is found with verbs whose meaning involves causing a change of state", and the causative/inchoative "is found only with verbs of pure change of state".

            Equations
            Instances For

              Every alternation but the causative/inchoative is open to a verb whose meaning involves more components than one it is open to, as the middle is to verbs of causing a change of state "whether or not their meaning also specifies how this change of state comes about" (p. 10).

              The causative/inchoative is not open to a verb that adds a means, such as contact, to a pure change of state (pp. 9–10).

              The four diagnostic alternations of the Introduction.

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

                The quadruple takes pairwise distinct profiles over the diagnostic alternations, so it instantiates four verb classes.

                The quadruple's classes with the meaning components of the Introduction's characterizations (p. 10): "touch is a pure verb of contact, hit is a verb of contact by motion, cut is a verb of causing a change of state by moving something into contact with the entity that changes state, and break is a pure verb of change of state", with the notion of cause it has "when transitive" (p. 9), since cut and break are "both verbs of causing a change of state" (p. 9).

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

                  The Introduction's conditions are necessary on the quadruple: every alternation a class page of Part II attests is open to the class's meaning components.

                  On the diagnostic alternations the conditions also suffice: the quadruple's meaning components predict the class pages exactly.

                  Frame-pair schemas of the alternations #

                  The alternations of Part One as voices, pairs of English argument frames with the slots each participant occupies in them, the preposition fixed where the alternation's definition fixes it: to for the dative, for for the benefactive, at for the conative, with for the with variant of the locative and swarm alternations and for the instrument, from for the substance/source alternation, out of and into for the material/product and total transformation alternations, on for body-part possessor ascension. The locative variants of the locative and swarm alternations fix only that the phrase is spatial. The middle, the passives, the postverbal-subject alternations and the constructions of chapter 7 are not pairs of frames and have no schema.

                  The dative and benefactive alternations, in which the p phrase becomes the first object.

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

                    The causee #

                    On the links the causative/inchoative and induced action alternations relate the same pairs of diatheses, a transitive whose object is the subject of an intransitive. Levin tells them apart by that participant, the causee: the induced action alternation "differs from the causative/inchoative alternation in that the causee is typically an animate volitional entity" (p. 31), and the verbs of the causative/inchoative alternation are "verbs of change of state or change of position" (p. 30).

                    def Levin1993.IsCausee {n : ℕ} (c d : Diathesis n) (i : Fin n) :

                    A causee of two diatheses is a participant that is the object of one and the subject without an object of the other.

                    Equations
                    • One or more equations did not get rendered due to their size.
                    Instances For
                      @[instance_reducible]
                      instance Levin1993.instDecidableIsCausee {n : ℕ} (c d : Diathesis n) (i : Fin n) :
                      Decidable (IsCausee c d i)
                      Equations
                      • One or more equations did not get rendered due to their size.

                      Levin's condition on the causee's entailments asks for a volitional causee in the induced action alternation, and in the causative/inchoative alternation for one that is not volitional and changes state or position.

                      Equations
                      Instances For

                        A verb shows an alternation when the alternation's schema relates two of its diatheses and the profile of each causee, the entry's or its classes', meets the alternation's condition.

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

                          The alternations with a frame-pair schema.

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

                            Every fragment verb Levin lists has a listed class whose page it realizes, showing each alternation with a schema that the page attests for the whole class and none that the page stars.

                            The causee tells the two causative alternations apart. On the links the diatheses of run and of shatter each fit both schemas, but run shows the induced action alternation alone, its causee volitional, and shatter the causative/inchoative alternation alone.