overlaps

Shared elements of two lists: true when at least one element of the first equals an element of the second. The usual use is intersecting predicate sets of two rules. Equality is the same match the where clause uses.

Arity

Takes 2 arguments on the structural layer.