Perhaps we may add that it should do so by means of syntactic and semantic rules that fit some standardized format: the format of a Tarski style truth theory, as proposed by Davidson; or a categorically based transformational grammar with intensional semantic functions, as I have proposed; or the sort of semantically based grammar proposed by some transformational grammarians, with some sort of specification of truth conditions for the base structures.