Symbol: kcpuset_intersecting_p