This term is borrowed from propositional logic.
It represents predicate part of "S is P" kind of preposition.
In other words, it represents something that is affirmed or denied of the
subject in a proposition in logic (taken from http://m-w.com).
e.g.