\begin{definition}[Definition:Predicate]
The '''predicate''' of a simple statement in logic is the part of the statement which defines ''what is being said'' about the subject.
It is a word or phrase which, when combined with one or more names of objects, turns into a meaningful sentence.
The predicates of simple statements are atomic in predicate logic.
The subject and predicate of a simple statement are referred to as its terms.
\end{definition}