middle-weight is the division for which boxer?
(AND sports.boxer (JOIN sports.boxer.weight_division m.023x0n))