what asteroid is part of vesta family?
(AND astronomy.asteroid (JOIN astronomy.asteroid.member_of_asteroid_family m.058nrm))