ord_intersect(+ Set1, + Set2)*
Holds when the two ordered sets have at least one element in common.
1. prolog::ord_intersect_3::ord_intersect/3(int ARG1, int ARG2, int ARG3)():