Text this: A mathematical grammar of English.