Describir: A mathematical grammar of English.