Question: In 2017, who did the baseball team that Tom Funk was a member of, play in the playoffs?

full_context: Document 1: Ron Davis (outfielder): Ronald Everette Davis (October 21, 1941 – September 5, 1992) was an American professional baseball outfielder. He played in Major League Baseball (MLB) from 1962 and 1966 to 1969 for the Houston Colt .45s, Houston Astros, St. Louis Cardinals, and Pittsburgh Pirates.
Document 2: World Series: In the American League, the New York Yankees have played in 40 World Series and won 27, the Philadelphia / Kansas City / Oakland Athletics have played in 14 and won 9, and the Boston Red Sox have played in 12 and won 8, including the first World Series. In the National League, the St. Louis Cardinals have appeared in 19 and won 11, the New York / San Francisco Giants have played in 20 and won 8, the Brooklyn / Los Angeles Dodgers have appeared in 18 and won 6, and the Cincinnati Reds have appeared in 9 and won 5.
Document 3: Houston Astros: The Astros clinched their first division title as a member of the American League West division, and first division title overall since 2001. They also became the first team in Major League history to win three different divisions, the National League West in 1980 and 1986, the National League Central from 1997 -- 1999 and 2001, and now the American League West in 2017. On September 29, the Astros won their 100th game of the season, the second time the Astros finished a season with over 100 wins (the other time was in 1998). They finished 101 -- 61 (with a 21 - game lead in the division), and faced the Red Sox in the second round of the AL playoffs. The Astros defeated the Red Sox three games to one, and advanced to the American League Championship Series against the New York Yankees. The Astros won the ALCS four games to three, and advanced to the World Series to play against the Los Angeles Dodgers. The Astros defeated the Dodgers in the deciding seventh game of the World Series, winning the first championship in franchise history.
Document 4: 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 5: Eric Anthony: Drafted by the Houston Astros in the 34th round of the 1986 MLB amateur draft, Anthony would make his Major League Baseball debut with the Houston Astros on July 28, 1989, and appear in his final game on September 27, 1997.
Document 6: 2017 American League Championship Series: 2017 American League Championship Series Teams Team (Wins) Manager Season Houston Astros (4) A.J. Hinch 101 -- 61 (. 623), 21 GA New York Yankees (3) Joe Girardi 91 -- 71 (. 562), 2 GB Dates October 13 -- 21 MVP Justin Verlander (Houston) Umpires Mark Carlson (Games 3 -- 7), Gary Cederstrom (crew chief), Chad Fairchild (Games 1 -- 2), Chris Guccione, Jerry Meals, Jim Reynolds, Hunter Wendelstedt ALDS New York Yankees defeated Cleveland Indians (3 -- 2) Houston Astros defeated Boston Red Sox (3 -- 1) Broadcast Television FS1 (Games 1, 3 -- 7) Fox (Game 2) TV announcers Joe Buck, John Smoltz, Ken Rosenthal, and Tom Verducci Radio ESPN Radio announcers Jon Sciambi and Chris Singleton ← 2016 ALCS 2017 World Series
Document 7: Charlie Williams (umpire): He also worked the All-Star games in 1985 and 1995, the 1989 National League Championship Series between the San Francisco Giants and the Chicago Cubs, the 1997 NLCS between the Florida Marlins and the Atlanta Braves, and the 1999 National League Division Series. He ejected San Diego Padres first baseman Steve Garvey from a June, 1986 game between the Padres and the Atlanta Braves, the only ejection of Garvey's career, then ejected Padres manager Steve Boros the next day when Boros tried to present a videotape of the call Williams ejected Garvey over. He was also an umpire on September 28, 1988 when Orel Hershiser set the Major League record for consecutive scoreless innings pitched. He remained an umpire until his retirement in 2000 due to health problems, and died at age 61 in Chicago, Illinois after a long illness related to diabetes and kidney failure.
Document 8: 2017 Major League Baseball season: The 2017 Major League Baseball season began on April 2, 2017 with three games, including the 2016 World Series champions Chicago Cubs facing off against the St. Louis Cardinals, and ended on October 1. The postseason began on October 3. The 2017 World Series began October 24 and Game 7 was played on November 1, in which the Houston Astros defeated the Los Angeles Dodgers, 5 - 1, to capture their first World Series championship in franchise history.
Document 9: Roy Thomas (pitcher): Roy Justin Thomas (born June 22, 1953) is an American former professional baseball pitcher in Major League Baseball who played for the Houston Astros, St. Louis Cardinals and Seattle Mariners in all or parts of eight seasons spanning 1977–1987. Listed at 6' 5" , 215 lb. , Thomas batted and threw right-handed. He was born in Quantico, Virginia.
Document 10: Dave Dravecky: David Francis Dravecky (born February 14, 1956) is an American former professional baseball player, a motivational speaker, and an author. He played Major League Baseball for the San Diego Padres (1982–87) and San Francisco Giants (1987–89). Cancer ended his career as his team was reaching the 1989 World Series. He won the Hutch Award in 1989.
Document 11: Ezequiel Astacio: Obtained by the Houston Astros from the Philadelphia Phillies in as part of the Billy Wagner trade. Astacio got a taste of the big league in posting a 3–6 record with a 5.67 ERA. He pitched 100 innings, striking out 66 and walking 25. Typical of a lot of younger pitchers with a plus fastball, he also gave up an eye opening 25 home runs. He gave up the game-winning home run to Geoff Blum in Game 3 of the 2005 World Series against the Chicago White Sox.
Document 12: 2017 World Series: The game went into extra innings. José Altuve and Correa hit home runs off Josh Fields in the tenth inning to put the Astros in the lead. In the bottom of the inning, Yasiel Puig hit a home run off of Ken Giles and Enrique Hernández drove in Logan Forsythe to tie the game, with the latter being the Dodgers' first run that was not driven in by a home run. In the next inning, George Springer hit a two - run home run for the Astros off of Brandon McCarthy to retake the lead. In the bottom of the 11th inning, Charlie Culberson homered off of Chris Devenski, who later struck out Puig to end the game. This was the first ever World Series game in which a team hit home runs in the ninth, tenth and eleventh inning. The teams set a new record for combined home runs in a single World Series game with eight and this was the first time in MLB history, regular season or postseason, that five home runs were hit in extra innings. The Astros won their first World Series game in franchise history as they had been swept in their previous appearance in 2005.
Document 13: Houston Astros: Houston Astros 2017 Houston Astros season Established in 1962 Team logo Cap insignia Major league affiliations American League (2013 -- present) West Division (2013 -- present) National League (1962 -- 2012) Central Division (1994 -- 2012) West Division (1969 -- 1993) Current uniform Retired numbers 5 7 24 25 32 33 34 40 49 42 Colors Navy blue, orange, white Name Houston Astros (1965 -- present) Houston Colt. 45s (1962 -- 1964) Other nicknames' Stros Ballpark Minute Maid Park (2000 -- present) Astrodome (1965 -- 1999) Colt Stadium (1962 -- 1964) Major league titles World Series titles (1) 2017 AL Pennants (1) 2017 NL Pennants (1) 2005 AL West Division titles (1) 2017 NL West / Central Division titles (6) 1980 1986 1997 1998 1999 2001 Wild card berths (3) 2005 2015 The Astros also qualified for the postseason in the strike - split 1981 season, losing to the Los Angeles Dodgers in the NLDS. Front office Owner (s) Jim Crane Manager A.J. Hinch General Manager Jeff Luhnow President of Baseball Operations Reid Ryan
Document 14: Tom Funk: Thomas James Funk (born March 13, 1962), is a former Major League Baseball pitcher who played for the Houston Astros during the 1986 season. He appeared in eight games and enjoyed early success before faltering and being sent down to the minors. He would never again pitch in the big leagues. The Astros would go on to win the 1986 National League Western Division title without him.
Document 15: 2017 World Series: 2017 World Series Team (Wins) Manager (s) Season Houston Astros (4) A.J. Hinch 101 -- 61 (. 623) Los Angeles Dodgers (3) Dave Roberts 104 -- 58 (. 642) Dates October 24 -- November 1 MVP George Springer (Houston) Umpires Phil Cuzzi (Games 1 -- 2), Gerry Davis (crew chief), Laz Díaz, Dan Iassogna, Bill Miller, Paul Nauert, Mark Wegner (Games 3 -- 7) ALCS Houston Astros defeated New York Yankees, 4 -- 3 NLCS Los Angeles Dodgers defeated Chicago Cubs, 4 -- 1 Broadcast Television Fox Fox Deportes MLB International TV announcers Joe Buck, John Smoltz, Ken Rosenthal, and Tom Verducci (Fox) Rolando Nichols, Carlos Álvarez, Edgar Gonzalez, and Jaime Motta (Fox Deportes) Matt Vasgersian and Buck Martinez (MLB International) Radio ESPN Radio ESPN Deportes Radio Sportstalk 790 (HOU -- English) FM 94.1 HD3 (HOU -- Spanish) AM 570 LA Sports (LAD -- English) Univision America 1020 (LAD -- Spanish) Radio Korea 1540 (LAD -- Korean) Radio announcers Dan Shulman and Aaron Boone (ESPN) Eduardo Ortega, Renato Bermúdez, José Francisco Rivera, and Orlando Hernández (ESPN Deportes) Robert Ford and Steve Sparks (HOU -- English) Alex Treviño and Francisco Romero (HOU -- Spanish) Charley Steiner and Rick Monday (LAD -- English) Jaime Jarrín and Jorge Jarrín (LAD -- Spanish) Richard Choi and Chong Ho Yim (LAD -- Korean) World Series Program ← 2016 World Series
ground_truth: Red Sox
sub_queries: Tom Funk >> member of sports team Answer: Houston Astros
who did Houston Astros play in the playoffs Answer: Red Sox