what is the mascot of the sorin hall and sorin hall ?
SELECT DISTINCT var_uri where brack_open dbr_Sorin_Hall_ attr_open University_of_Notre_Dame attr_close dbp_mascot var_uri sep_dot dbr_Sorin_Hall_ attr_open University_of_Notre_Dame attr_close dbp_mascot var_uri brack_close