Symbol: has_overlap