Logic of English