def Phenomena.FillerGap.LongDistance.longDistanceData : PhenomenonData

Long-distance dependency minimal pairs

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.FillerGap.LongDistance.relativeClauseData : PhenomenonData

Relative clause minimal pairs

Equations

• One or more equations did not get rendered due to their size.

def Phenomena.FillerGap.LongDistance.complementClauseData : PhenomenonData

Complement clause minimal pairs

Equations

• One or more equations did not get rendered due to their size.

class Phenomena.FillerGap.LongDistance.CapturesLongDistance (G : Type) [Grammar G] : Type

A grammar captures long-distance dependencies

• grammar : G
• capturesWhQuestions : Grammar.capturesPhenomenon G grammar longDistanceData
• capturesRelatives : Grammar.capturesPhenomenon G grammar relativeClauseData
• capturesComplements : Grammar.capturesPhenomenon G grammar complementClauseData

def Phenomena.FillerGap.LongDistance.hasInitialWh (ws : List Word) : Bool

Check if a word list has a wh-word in initial position

Equations

• Phenomena.FillerGap.LongDistance.hasInitialWh ws = match ws.head? with | some w => w.features.wh | none => false

def Phenomena.FillerGap.LongDistance.findWhPosition (ws : List Word) : Option Nat

Find the position of a wh-word

Equations

• Phenomena.FillerGap.LongDistance.findWhPosition ws = List.findIdx? (fun (x : Word) => x.features.wh) ws

def Phenomena.FillerGap.LongDistance.isWhFronted (ws : List Word) : Bool

Check if wh-word is fronted (at position 0, 1, or 2 for embedded)

Equations

• One or more equations did not get rendered due to their size.