Phrase-level prosodic structure

The φ and ι layers sit above the prosodic word. A well-formed phrase is a φ-node licensed by Layeredness, so a φ over prosodic words, recursive phrases, or stray feet and syllables, the free-clitic site of Selkirk (1996); a well-formed utterance is an ι-node over phrases and whatever Layeredness admits below them. Recursion and level skipping are admitted at both levels, since Nonrecursivity and Exhaustivity are violable (Selkirk 1996; the recursive φ of Match Theory, Selkirk 2011). HeadUnique is the culminativity of prominence, at most one head child per node, the structural hook that Büring's (2015) metrical weak–strong calculus reads (Büring 2016). The φ-constituents of an utterance are its maximal φ-projections (maximalProjections); φ-edges are what demarcative focus reflexes (Reflex.boundary) realize.

References

• [Sel96]
• [Sel11]
• [IK22]
• [Bur15]
• [Bur16]

@[reducible, inline]

abbrev Prosody.IsPhrase : Tree → Prop

A well-formed phonological phrase is a licensed tree rooted in a φ-node: a φ over nodes of level at most φ.

Equations

• Prosody.IsPhrase = Prosody.IsConstituent Prosody.Level.ph

@[reducible, inline]

abbrev Prosody.IsUtterance : Tree → Prop

A well-formed intonational phrase, or utterance, is a licensed tree rooted in an ι-node.

Equations

• Prosody.IsUtterance = Prosody.IsConstituent Prosody.Level.iota

def Prosody.HeadUnique (t : Tree) : Prop

Prominence is culminative when at most one child heads its parent.

Equations

• Prosody.HeadUnique t = ((List.filter (fun (c : RoseTree Prosody.Constituent) => c.value.isHead) (RoseTree.children t)).length ≤ 1)

@[instance_reducible]

instance Prosody.instDecidableHeadUnique (t : Tree) : Decidable (HeadUnique t)

Equations

• Prosody.instDecidableHeadUnique t = { decide := (List.filter (fun (c : RoseTree Prosody.Constituent) => c.value.isHead) (RoseTree.children t)).length.ble 1, reflects_decide := ⋯ }