Truth-Bearer Or "You Can't Handle The Truth"!

A character is a typographic character (printed or written) etc.

A word token is a pattern of characters.

A word-type is an identical pattern of characters.

A meaningful-word-token is a meaningful word-token.

Two word-tokens which mean the same are of the same word-meaning.

A sentence-token is a pattern of word-tokens.

A meaningful-sentence-token is a meaningful sentence-token or a meaningful pattern of meaningful-word-tokens.

Two sentence-tokens are of the same sentence-type if they are identical patterns of word-tokens characters.

A declarative-sentence-token is a sentence-token which that can be used to communicate truth or convey information.

A meaningful-declarative-sentence-token is a meaningful declarative-sentence-token.

Two meaningful-declarative-sentence-tokens are of the same meaningful-declarative-sentence-type if they are identical patterns of word-tokens.

A nonsense-declarative-sentence-token is a declarative-sentence-token which is not a meaningful-declarative-sentence-token.

A meaningful-declarative-sentence-token-use occurs when and only when a meaningful-declarative-sentence-token is used declaratively.

A referring-expression is expression that can be used to pick out or refer to particular entity.

A referential success is a referring-expression’s success in identifying a particular entity.

A referential failure is a referring-expression’s failure to identify a particular entity.

A referentially-successful-meaningful-declarative-sentence-token-use is a meaningful-declarative-sentence-token-use containing no referring-expression that fails to identify a particular entity.

http://en.wikipedia.org/wiki/Truth-bearer