Docs / Syntax / Minimalist / SyntacticObject / Projection

Projection on linearized syntactic objects

import Linglib.Syntax.Minimalist.SyntacticObject.Projection · namespace Minimalist

Source

The theories of headedness differ in which daughter of a phrase projects, so a head function, the index of the head daughter at each position of each object, is a parameter, and the projections of Syntax/Projection.lean follow from it: the maximal projections, the maximal projection of a position, and the lexical head of the phrase there. Whatever reads projection takes the head function its analysis assumes.

Main definitions

References

Declarations

A head function gives, at each position of a linearized syntactic object, the index of its head daughter, none where no daughter projects.

@[reducible, inline] abbrev HeadFunctionL36–38
:
Type

Used by maximalProjections, instDecidablePredTreePathMemSetMaximalProjections, maximalProjections_eq, projectionAt, projectionAt_le, lexicalHeadAt

Used in Syntax/Minimalist/Case/SyntacticObject, Syntax/Minimalist/Copy/Chain, Syntax/Minimalist/Label/MinimalSearch, Syntax/Minimalist/Label/RaisingHead, Syntax/Minimalist/Linearization/SpelloutDomain and 6 more

The maximal projection of the position p, the highest position reached from p by climbing while the position is the head daughter of its mother.

def projectionAtL53–55
(hd : HeadFunction) (t : LinearizedSyntacticObject) (p : Core.Order.TreePath) :
Core.Order.TreePath

Built from

Used by projectionAt_le

Used in Syntax/Minimalist/Case/SyntacticObject, Syntax/Minimalist/Copy/Chain, Syntax/Minimalist/Locality/AntiLocality, Syntax/Minimalist/Locality/Chain, Syntax/Minimalist/Locality/Transfer and 2 more