mathematical grammar of English