list all the nicknames of the city which has florida state seminoles as one of it ?
SELECT DISTINCT var_uri where brack_open var_x dbp_nickname dbr_Florida_State_Seminoles sep_dot var_x dbp_nickname var_uri brack_close