name of a boxer in the light-heavyweight division?
(AND sports.boxer (JOIN sports.boxer.weight_division m.04v7n_))