Docs / Semantics / ArgumentStructure / EnergySource

The energy source of a force bearer

import Linglib.Semantics.ArgumentStructure.EnergySource · namespace ArgumentStructure

Source

A participant that exerts force draws the energy from its own source, as living things, machines and natural agents do, from energy imparted to it or held in its position or motion, as a projectile or a load-bearing column, or from another participant that uses it, as an instrument. Cruse's agentive and effective features are the first two and his instrumental the third; Van Valin and Wilkins's self-energetic effector is either of the first two, and Rappaport Hovav and Levin's projectile the second.

Main definitions

References

Declarations

The source of the energy with which a participant exerts force.

inductive EnergySourceL34–45
:
Type
  • internal : EnergySource

    The participant's own energy, as with living things, self-propelled machines and natural agents (Cruse's agentive feature).

  • imparted : EnergySource

    Energy imparted to the participant or held in its position or motion, as with a projectile or a load-bearing column (Cruse's effective feature).

  • instrumental : EnergySource

    The energy of a participant that uses it, as with an instrument or a body part (Cruse's and Fillmore's instrumental).

Derives DecidableEq, Fintype.

Used by EnergySource.IsSelfEnergetic

Used in Cruse1973, RappaportHovavLevin2024

A self-energetic force bearer, Van Valin and Wilkins's effector: one whose energy is not supplied by a user, and so one of which did something holds.

def EnergySource.IsSelfEnergeticL49–51
(s : EnergySource) :
Prop

Built from

Used by EnergySource.instDecidablePredIsSelfEnergetic, EnergySource.isSelfEnergetic_internal, EnergySource.isSelfEnergetic_imparted, EnergySource.not_isSelfEnergetic_instrumental

Used in Cruse1973, RappaportHovavLevin2024