which nickname of florida gulf coast eagles women's basketball is also the mascot of allen independent school district ?
SELECT DISTINCT var_uri where brack_open dbr_Allen_Independent_School_District dbp_mascot var_uri sep_dot dbr_Florida_Gulf_Coast_Eagles_women's_basketball dbp_nickname var_uri brack_close