. . . . "A predicate name followed by a list of variables such as P(x, y), where P is a predicate name, and x and y are variables," .