list the other nicknames of city which has one of the nickname as tcu horned frogs ?
SELECT DISTINCT var_uri where brack_open var_x dbp_nickname dbr_TCU_Horned_Frogs sep_dot var_x dbp_nickname var_uri brack_close