is mike martin the main coach of 2012 florida state seminoles baseball team ?
ASK where brack_open dbr_2012_Florida_State_Seminoles_baseball_team dbp_headCoach dbr_Mike_Martin_ attr_open baseball_coach attr_close brack_close