In  ALIGN(GCat,  GEdge,  PCat,  PEdge),  the  GEdge  of  any  GCat  must  coincide  with PEdge of some PCat, where
GCat ≡ Grammatical Category, among which are the morphological categories
MCat ≡ Root, Stem, Morphological Word, Prefix, Suffix, etc.
PCat ≡ Prosodic Category ≡ μ, σ, Ft, PrWd, PhPhrase, etc.
MEdge, PEdge = Left, Right

Align(Cat1, Edge1, Cat2, Edge2) =
∀ Cat1 ∃ Cat2 such that Edge1 of Cat1 and Edge2 of Cat2 coincide.
Where Cat1, Cat2 ∈ PCat ∪ GCat
Edge1, Edge2 ∈ {Right, Left}