A predicate that is satisfied if either predicate is satisfied.
First predicate
Second predicate
Converts this predicate to its XDR representation.