minimumweight is the division for which boxer?
(AND sports.boxer (JOIN sports.boxer.weight_division m.05_bxz))