welterweight is the weight class for which boxing match?
(AND boxing.boxing_match (JOIN boxing.boxing_match.weight_class m.03c723))