which nickname of san jose state spartans men's basketball is also the mascot of elmira heights central school district ?
SELECT DISTINCT var_uri where brack_open dbr_Elmira_Heights_Central_School_District dbp_mascot var_uri sep_dot dbr_San_Jose_State_Spartans_men's_basketball dbp_nickname var_uri brack_close