. . "that is, "triples," of the form p(a,b), where p is a relation and a" . .