# 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.