Root kind signatures

Which templatic components a root entails, the coarse, between-class half of a root's meaning; the fine, within-class half is Root.Content. The root typology of Beavers and Koontz-Garboden (§5.4.1) records which of four kinds of lexical entailment a root carries — state, manner, result, cause — under two collocational restrictions, that a change entails a state and a cause entails a change. The restrictions are the partial order state ≤ result ≤ cause on Root.Kind, with manner isolated. A root's kind signature is a Finset Root.Kind; it is well-formed when it is a lower set of that order, and the closure operator close sends any signature to its lower closure, the least well-formed signature containing it. The named signatures are the attested rows of the typology's display (12).

Main declarations

• Root.Kind, with the collocational PartialOrder
• Root.Kinds, Root.Kinds.WellFormed
• Root.Kinds.close: the collocational closure, a ClosureOperator whose closed signatures are the well-formed ones
• Root.Kinds.propertyConcept, pureResult, causativeResult, pureManner, fullSpec

References

• Beavers & Koontz-Garboden 2020, The Roots of Verbal Meaning formalized