welterweight is the division for which boxer?
(AND sports.boxer (JOIN sports.boxer.weight_division m.0fzw2n))