Describir: A semantic theory of redundancy.