which boxer has the weight division of bantamweight?
(AND sports.boxer (JOIN sports.boxer.weight_division m.03bl3r))