Question: What high school did the pitcher with the most career strikeouts attend?

full_context: Document 1: List of Major League Baseball career home run leaders: Barry Bonds holds the Major League Baseball home run record with 762. He passed Hank Aaron, who is currently second with 755, on August 7, 2007. The only other player to have hit 700 or more is Babe Ruth with 714. Alex Rodriguez (696), Willie Mays (660), Ken Griffey, Jr. (630), Albert Pujols (614), Jim Thome (612), and Sammy Sosa (609) are the only other players to have hit 600 or more.
Document 2: List of Major League Baseball career home run leaders: Barry Bonds holds the Major League Baseball home run record with 762. He passed Hank Aaron, who is currently second with 755, on August 7, 2007. The only other player to have hit 700 or more is Babe Ruth with 714. Alex Rodriguez (696), Willie Mays (660), Ken Griffey, Jr. (630), Albert Pujols (621), Jim Thome (612), and Sammy Sosa (609) are the only other players to have hit 600 or more.
Document 3: Nolan Ryan: Ryan played baseball for Coach Jim Watson at Alvin High School for all of his high school career. Ryan held the school's single game strikeout record for 44 years, striking out 21 hitters in a 7 - inning game. The record was eventually tied by Alvin High School pitchers Aaron Stewart and Josh Land in the same week in 2009.
Document 4: List of Major League Baseball career at-bat leaders: Pete Rose is the all - time leader in at bats with 14,053. Rose is also the only player in MLB history with more than 13,000 or 14,000 at bats. There are only 28 players in MLB history that have reached 10,000 career at bats, with Adrián Beltré being the only one active.
Document 5: Game score: The highest game score for a nine - inning game in the history of baseball is Kerry Wood's one - hit, no walk, 20 - strikeout shutout performance for the Chicago Cubs against the Houston Astros on May 6, 1998. His game score was 105 (50 + 27 + 10 + 20 -- 2).
Document 6: List of Major League Baseball career strikeout leaders: Nolan Ryan has the most career strikeouts in Major League Baseball. During a record 27 - year career, he struck out 5,714 batters.
Document 7: List of Major League Baseball career hit by pitch leaders: Hughie Jennings holds the Major League record for most hit by pitches, getting hit 287 times in his career. Craig Biggio (285), Tommy Tucker (272), Don Baylor (267), Jason Kendall (254), Ron Hunt (243), Dan McGann (230), and Chase Utley (200) are the only other players to be hit by 200 or more pitches during their careers.
Document 8: List of Major League Baseball single-game strikeout leaders: Out of the twenty pitchers who have accomplished the feat, fifteen were right - handed and five pitched left - handed. Five of these players have played for only one major league team. Five pitchers -- Steve Carlton, Roger Clemens, Randy Johnson, Nolan Ryan and Tom Seaver -- are also members of the 3,000 strikeout club. Sweeney has the fewest career strikeouts in the group with 505, while Nolan Ryan, with 5,714, struck out more batters than any other pitcher in major league history. Bill Gullickson and Kerry Wood are the only rookies to have achieved the feat. Tom Seaver concluded his milestone game by striking out the final ten batters he faced, setting a new major league record for most consecutive strikeouts.
Document 9: List of Major League Baseball career strikeout leaders: Rank Player Nolan Ryan † 5,714 Randy Johnson † 4,875 Roger Clemens 4,672 Steve Carlton † 4,136 Bert Blyleven † 3,701 6 Tom Seaver † 3,640 7 Don Sutton † 3,574 8 Gaylord Perry † 3,534 9 Walter Johnson † 3,508 10 Greg Maddux † 3,371 11 Phil Niekro † 3,342 12 Ferguson Jenkins † 3,192 13 Pedro Martínez † 3,154 14 Bob Gibson † 3,117 15 Curt Schilling 3,116 16 John Smoltz † 3,084 17 Jim Bunning † 2,855 18 CC Sabathia (114) 2,840 19 Mickey Lolich 2,832 20 Mike Mussina 2,813 21 Cy Young † 2,803 22 Frank Tanana 2,773 23 David Cone 2,668 24 Chuck Finley 2,610 25 Tom Glavine † 2,607 26 Warren Spahn † 2,583 27 Bob Feller † 2,581 28 Tim Keefe † 2,564 29 Jerry Koosman 2,556 30 Javier Vázquez 2,536 31 A.J. Burnett 2,513 32 Christy Mathewson † 2,507 33 Don Drysdale † 2,486 34 Jack Morris 2,478
Document 10: No-hitter: The pitcher who holds the record for the most no - hitters is Nolan Ryan, who threw seven in his long career. His first two came exactly two months apart, while he was with the California Angels: the first on May 15, 1973, and the second on July 15. He had two more with the Angels on September 28, 1974, and June 1, 1975. Ryan's fifth no - hitter with the Houston Astros on September 26, 1981, broke Sandy Koufax's previous record. His sixth and seventh no - hitters came with the Texas Rangers on June 1, 1990, and May 1, 1991. When he tossed number seven at age 44, he became the oldest pitcher to throw a no - hitter.
Document 11: List of Major League Baseball career home run leaders: Barry Bonds holds the Major League Baseball home run record with 762. He passed Hank Aaron, who is currently second with 755, on August 7, 2007. The only other player to have hit 700 or more is Babe Ruth with 714. Alex Rodriguez (696), Willie Mays (660), Ken Griffey, Jr. (630), Albert Pujols (615), Jim Thome (612), and Sammy Sosa (609) are the only other players to have hit 600 or more.
Document 12: List of Major League Baseball single-game strikeout leaders: In baseball, a strikeout occurs when a pitcher throws three strikes to a batter during his time at bat. Twenty different pitchers have struck out at least 18 batters in a single nine - inning Major League Baseball (MLB) game as of 2016, the most recent being Max Scherzer of the Washington Nationals on May 11, 2016. Four players have accomplished the feat more than once in their career; no player has ever struck out more than 20 batters in a nine - inning game. (Tom Cheney struckout 21 in a 16 - inning game.) Charlie Sweeney was the first player to strike out 18 batters in a single game, doing so for the Providence Grays against the Boston Beaneaters on June 7, 1884. In spite of this, Bob Feller is viewed as the first pitcher to accomplish the feat, since his then - record 18 strikeouts was the first to occur during the 20th century and the live - ball era.
Document 13: List of Major League Baseball career hits leaders: Pete Rose holds the Major League record for most career hits, with 4,256. Rose and Ty Cobb are the only players with 4,000 career hits. George Davis was the first switch hitter to collect 2,000 hits, doing so during the 1902 season. Ichiro Suzuki is the current active leader.
Document 14: List of Major League Baseball career home run leaders: Barry Bonds holds the Major League Baseball home run record with 762. He passed Hank Aaron, who is currently second with 755, on August 7, 2007. The only other player to have hit 700 or more is Babe Ruth with 714. Alex Rodriguez (696), Willie Mays (660), Ken Griffey, Jr. (630), Albert Pujols (630), Jim Thome (612), and Sammy Sosa (609) are the only other players to have hit 600 or more.
Document 15: List of Major League Baseball single-game hits leaders: These games have resulted in other single - game MLB records being set due to the stellar offensive performance. Shawn Green, for example, established a new major league record with 19 total bases and finished with a total of five extra-base hits, tying a National League record that was also achieved by Larry Twitchell during the latter's six - hit game. Four of Green's six hits were home runs, equaling the record for most home runs in one game. Jim Bottomley, Walker Cooper, Anthony Rendon, and Wilbert Robinson hit 10 or more runs batted in (RBI) to complement their six hits. Robinson proceeded to collect a seventh hit to set single - game records in both categories. Although his record of 11 RBIs has since been broken, Robinson's seven hits in a nine - inning game has been matched only by Rennie Stennett.
ground_truth: Alvin High School
sub_queries: who has the most strikeouts in a career Answer: Nolan Ryan
where did Nolan Ryan go to high school Answer: Alvin High School