what is the mascot of the buena vista school district and residence halls at the university of notre dame ?
SELECT DISTINCT var_uri where brack_open dbr_Buena_Vista_School_District_ attr_open Michigan attr_close dbp_mascot var_uri sep_dot dbr_Residence_halls_at_the_University_of_Notre_Dame dbp_mascot var_uri brack_close