Generated binary relations between predicate and each of its arguments.