correct examples for arity-2 predicates