which nickname of hc lev poprad is also the mascot of residence halls at the university of notre dame ?
SELECT DISTINCT var_uri where brack_open dbr_Residence_halls_at_the_University_of_Notre_Dame dbp_mascot var_uri sep_dot dbr_HC_Lev_Poprad dbp_nickname var_uri brack_close