A predicate that negates another predicate.
The predicate to negate
Converts this predicate to its XDR representation.