In addition to talking about things and their properties, we can
talk about the relationships among things, and, to represent such
statements symbolically, we often need more than one quantifier.
To symbolize a relation, we make use of a predicate letter and
two subject letters.
Let's start with singular statements: