Consider the statement &quot;People are smarter than dogs.&quot; This is not literally true, but is true in a very useful sense. Our language need not look like legal contracts, which are written to be literally true, and yet still they have ambiguity problems.