A formal account of glide/vowel alternation in prosodic theory