. . . . . "An example for the predicate calculus is P(X,Y), where P is a relation and X and Y are variables that take on values in a domain of discourse." .