Explanation. Since th ere is an accelera ting tendency in phonology away from pro cedural analyses, it makes sense to investigate an entirely nonprocedural phonology. This is a practical possibility in the light of th e formal developments which have been made in th e study of complex feature structures, und erspecification , unification, and other areas . In a declar ative fram ework th e non-procedural aspects of cur rent phonological th eory would be obligatory; and thus independent ly motivated . Furthermore th ere are problematic aspects of Autosegmental Phonology ('AP ') which AVP is int ended to solve.
Cross-fertilisation. The success of declarative theories in the