heavyweight boxing classifies which boxers?
(AND sports.boxer (JOIN sports.boxer.weight_division m.02t3ww))