heavyweight division is the weight class for which boxing match?
(AND boxing.boxing_match (JOIN boxing.boxing_match.weight_class m.02t3ww))