Docs / Syntax / Minimalist / Probe / CyclicExpansion
import Linglib.Syntax.Minimalist.Probe.CyclicExpansion · namespace Minimalist
A probe on a head searches the sister of the head, and as the head projects, the sister of each projection joins its search space. A probe on v between the arguments therefore meets the internal argument and then, once v projects over it, the external argument, Béjar & Rezac 2009's cyclic expansion, and a probe on T above both meets them in the reverse order. Reading the goals off a linearized object makes that order a consequence of where the head stands, instead of a stipulated list.
The projections of the position a, from a up to its maximal projection.
Used by mem_cyclicGoals
The tokens P holds of that a probe on the head at a meets in search order: projection by
projection, from the head up, the copies each c-commands outside cut, nearest first, a token
counting only where it is first met.
The definition is too large to print here; read it in the source.
Used by mem_cyclicGoals
Used in BejarRezac2009
A probe meets exactly the tokens with a copy that a projection of its head c-commands, outside the positions closed to it.
Built from ,