A predicate that is satisfied if both predicates are satisfied.
First predicate
Second predicate
Converts this predicate to its XDR representation.