question_text: What baseball team, part of the ten-school collegiate athletic conference headquartered in Irving, Texas, was coached by Randy Mazey in 2016?
decomposition: return ten-school collegiate athletic conference headquartered in  Irving Texas ;return baseball team coached by Randy Mazey in  2016 that is part of #1