The System LPC2 : Introductory
In Chapter 23 we said that predicates can enter into propositions in either of two fundamentally different ways. One is by quantification, and of that we have by now said a good deal. The other occurs when we assert that some specified object has (or lacks) a certain property. We said a little, but only a little, about this in Chapter 23; we must say more now.