unary_negate

unary_negate
Negates a unary predicate
Use helper function  not1()

binary_negate
Negates a binary predicate
Use helper function  not2()