what athletic team does notre dame leprechaun represent?
(AND sports.sports_team (JOIN sports.sports_team.team_mascot m.02w9r51))