Documentation

Linglib.Semantics.ArgumentStructure.PersistenceLevel

Persistence levels ([Gri11] §2.2, Fig. 2) #

Dowty's five Proto-Patient entailments are replaced by four persistence dimensions — existential and qualitative persistence at the beginning and end of the event. Logical dependencies (an entity that exists does so with its qualities; nonexistence at a boundary erases them) leave exactly five valid combinations, ordered by feature inclusion: a lattice with a creation branch (exPersEnd) and an affectedness branch (exPersBeginning ≤ quPersBeginning) rejoining at totalPersistence.

source
inductive ArgumentStructure.PersistenceLevel :
Type

The five valid persistence levels (p.524–525, Fig. 2).

Each level is a valid combination of four persistence dimensions:

  • ExPB: existential persistence (beginning) — entity exists before event
  • ExPE: existential persistence (end) — entity exists after event
  • QuPB: qualitative persistence (beginning) — qualities unchanged before
  • QuPE: qualitative persistence (end) — qualities unchanged after

Constraints (ExPB→QuPB, QuPE→ExPE, etc.) reduce the 16 possible combinations to exactly 5.

  • totalNonPersistence : PersistenceLevel

    ∅ExPB, ∅ExPE, ∅QuPB, ∅QuPE — entity has no entailed existence. Arguments of seek, want; negated copulas.

  • exPersEnd : PersistenceLevel

    ∅ExPB, +ExPE, ∅QuPB, +QuPE — entity comes into existence. Objects of build, invent; subjects of appear.

  • exPersBeginning : PersistenceLevel

    +ExPB, ∅ExPE, +QuPB, ∅QuPE — entity exists before, ceases to exist. Subjects of die, evaporate; objects of destroy, ruin.

  • quPersBeginning : PersistenceLevel

    +ExPB, +ExPE, +QuPB, ∅QuPE — entity persists but is qualitatively changed. Objects of transitive move, dim, frighten; intransitive subjects of fall.

  • totalPersistence : PersistenceLevel

    +ExPB, +ExPE, +QuPB, +QuPE — entity persists unchanged throughout. Prototypical transitive subjects; unaffected objects of see, cut at.

Instances For
    source
    @[implicit_reducible]
    instance ArgumentStructure.instDecidableEqPersistenceLevel :
    DecidableEq PersistenceLevel
    Equations
    source
    def ArgumentStructure.instReprPersistenceLevel.repr :
    PersistenceLevel → ℕ → Std.Format
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For
      source
      @[implicit_reducible]
      instance ArgumentStructure.instReprPersistenceLevel :
      Repr PersistenceLevel
      Equations
      source
      @[implicit_reducible]
      instance ArgumentStructure.instFintypePersistenceLevel :
      Fintype PersistenceLevel
      Equations
      • One or more equations did not get rendered due to their size.
      source
      def ArgumentStructure.PersistenceLevel.exPersB :
      PersistenceLevel → Bool

      Existential persistence at beginning (positive feature). Also serves as "entity exists at the beginning of the event."

      Equations
      Instances For
        source
        def ArgumentStructure.PersistenceLevel.exPersE :
        PersistenceLevel → Bool

        Existential persistence at end (positive feature).

        Equations
        Instances For
          source
          def ArgumentStructure.PersistenceLevel.quPersB :
          PersistenceLevel → Bool

          Qualitative persistence at beginning (positive feature).

          Equations
          Instances For
            source
            def ArgumentStructure.PersistenceLevel.quPersE :
            PersistenceLevel → Bool

            Qualitative persistence at end (positive feature).

            Equations
            Instances For
              source
              @[implicit_reducible]
              instance ArgumentStructure.instPartialOrderPersistenceLevel :
              PartialOrder PersistenceLevel
              Equations
              • One or more equations did not get rendered due to their size.
              source
              @[implicit_reducible]
              instance ArgumentStructure.instDecidableRelPersistenceLevelLe :
              DecidableRel fun (x1 x2 : PersistenceLevel) => x1 ≤ x2
              Equations
              source
              @[implicit_reducible]
              instance ArgumentStructure.instOrderBotPersistenceLevel :
              OrderBot PersistenceLevel
              Equations
              source
              @[implicit_reducible]
              instance ArgumentStructure.instOrderTopPersistenceLevel :
              OrderTop PersistenceLevel
              Equations
              source
              def ArgumentStructure.PersistenceLevel.sup' (a b : PersistenceLevel) :
              PersistenceLevel

              Join on persistence levels. The 5 valid levels do not form a sublattice of the powerset on {ExPB, ExPE, QuPB, QuPE} — the join is the smallest valid level containing the union of features.

              Equations
              Instances For
                source
                def ArgumentStructure.PersistenceLevel.inf' (a b : PersistenceLevel) :
                PersistenceLevel

                Meet on persistence levels. The largest valid level contained in the intersection of features.

                Equations
                Instances For
                  source
                  @[implicit_reducible]
                  instance ArgumentStructure.instLatticePersistenceLevel :
                  Lattice PersistenceLevel
                  Equations
                  • One or more equations did not get rendered due to their size.