In mathematics, a predicate is a relation.\n* In grammar a predicate is a part of a sentence. More particularly, the predicate is further information about the subject - what the subject is doing, what the subject is like, etc. It's really that part of the sentence which is not the subject! See sentence.\n* In Bertrand Russell's theory of types, a predication is an act of typing, that is, assigning a type. A definite description in fact contains a claim of existence.
"The difference between fiction and reality? Fiction has to make sense."
- Tom Clancy
