which group of an asteroid is a family member of koronis family?
(AND astronomy.asteroid_group (JOIN (R astronomy.asteroid.member_of_asteroid_group) (JOIN (R astronomy.asteroid_family.asteroid_family_member) m.0bs6jv)))