Aspects of underspecification theory | Synapse