Title: the logical syntax of language