which nickname of samsung lions 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_Samsung_Lions dbp_nickname var_uri brack_close