P1.10.2

abu, abab, Rvd, U eration here.) P1.10.2 If P is a binary predicate and the expression P(P(r, y), P(y, a)) is valid, what do you know about the signature of P? Give three different possible templates for P and evaluate this expression in each case as a function of r and y. P1.10.3 (uses Java) Since predicates have boolean type, they can be combined with boolean operators