Docs / Syntax / Category / Adposition / Spatial
import Linglib.Syntax.Category.Adposition.Spatial · namespace Adposition
A theory refines a spatial Adposition by decomposing its relation into an axial part, a
localization and the shape of its path, as Svenonius does in the cartographic sequence. The
shape is one of Pantcheva's eight, Spatial.Path.Shape, or none for a locative reading, and the
localization is Spatial.Localization, the vocabulary spatial cases decompose into as well. The
axial parts are what case morphology lacks, a flat paradigm rather than a ranked containment.
Adposition.AxPart: the axial parts (front, back, top, …).Adposition.SpatialReading: the cartographic decomposition.Adposition.SpatialReading.direction, IsBounded: the direction and boundedness of a
reading, read off its shape.Adposition.SpatialReading.ofCase: the reading of a case value.Adposition.SpatialReading.direction_eq_place_iff: a reading is locative exactly when it has no
path.Adposition.SpatialReading.direction_ofCase: a case value reads in the direction it expresses.The axial parts are the regions a spatial adposition projects onto the Ground's axes, as
behind projects back and under bottom.
Derives DecidableEq, Repr, Fintype.
Used by SpatialReading
A spatial reading decomposes a spatial adposition's relation into an axial part, a localization and the shape of its path.
The axial part of an axial adposition such as behind; none for in, to, from.
The localization, interior, surface or exterior.
The shape of the path, none for a locative reading.
Derives Repr, DecidableEq.
Built from
Used by SpatialReading.direction, SpatialReading.IsBounded, SpatialReading.direction_eq_place_iff, SpatialReading.IsBounded.direction_ne_place, SpatialReading.ofCase, behind, under
Used in Fragments/Dutch/Verbs, Fragments/German/Tense, Fragments/German/Verbs, Fragments/Romance/Italian/Verbs, Semantics/ArgumentStructure/AuxiliarySelection and 1 more
The direction of a reading is its shape's, and Place for a locative reading.
Built from
Used by SpatialReading.direction_eq_place_iff, SpatialReading.IsBounded.direction_ne_place, SpatialReading.direction_ofCase, SpatialReading.isBounded_ofCase_iff
A reading is bounded when its path is, as to is and towards is not.
Built from
Used by SpatialReading.instDecidablePredIsBounded, SpatialReading.IsBounded.direction_ne_place, SpatialReading.isBounded_ofCase_iff
Used in Fragments/Dutch/Verbs, Semantics/ArgumentStructure/AuxiliarySelection, Syntax/Category/Verb/Basic
Built from ,
Built from , ,
The reading of a case value, its localization and the shape of its path, with no axial part: the illative reads as a cofinal path into the interior.
Built from
Used by SpatialReading.direction_ofCase, SpatialReading.isBounded_ofCase_iff
Used in LevinRappaportHovav1995
Built from ,
The reading of behind is axial (back) and locative.
Built from
The reading of under is axial (bottom) and locative.
Built from