Comment
Comment by WalterBright
Consider the statement "People are smarter than dogs." 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.