Question: In 2017, who did the team that formerly employed Roy Thomas meet in the playoffs?

full_context: Document 1: Lynn Thomas (American football): Ronald Lynn Thomas (born July 9, 1959) is a former American football defensive back who played two seasons with the San Francisco 49ers of the National Football League. He was drafted by the San Francisco 49ers in the fifth round of the 1981 NFL Draft. He played college football at the University of Pittsburgh and attended Pascagoula High School in Pascagoula, Mississippi. Thomas was also a member of the Oakland Invaders of the United States Football League. He was a member of the San Francisco 49ers team that won Super Bowl XVI.
Document 2: 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 3: 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 4: Jamie Moyer: Jamie Moyer (born November 18, 1962) is an American former professional baseball pitcher. Over his 25-year career in Major League Baseball (MLB), Moyer pitched for the Chicago Cubs, Texas Rangers, St. Louis Cardinals, Baltimore Orioles, Boston Red Sox, Seattle Mariners, Philadelphia Phillies, and Colorado Rockies. He was inducted into the Mariners Hall of Fame in 2015.
Document 5: 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 6: Jim Thome: Like his older brothers, Thome attended Limestone High School where he achieved all - state honors in basketball and as a baseball shortstop. He played American Legion Baseball for Bartonville Limestone Post 979 in his hometown, as well. Although he had hoped to draw the attention of scouts, at just 175 pounds (79 kg) he was relatively underweight for his 6 - foot - 2 - inch (188 cm) height, meaning that he attracted only passing interest -- the average Major League Baseball (MLB) player weighed 195 pounds (88 kg) in 1993. Thome graduated in 1988 and, after not being drafted, enrolled at Illinois Central College where he continued his baseball and basketball careers. After one season, he was drafted by MLB's Cleveland Indians as an ``afterthought ''in the 13th round of the 1989 MLB draft.
Document 7: 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 8: Tom Oliver (baseball): Thomas Noble Oliver (January 15, 1903 – February 26, 1988) was a center fielder in Major League Baseball who played from through for the Boston Red Sox. Listed at , 168 lb, Oliver batted and threw right-handed. He was born in Montgomery, Alabama.
Document 9: 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 10: Tom Healey: Thomas F. Healey (1853 – February 6, 1891) was an American Major League Baseball player who pitched for one season. In () he played with the Providence Grays and Indianapolis Blues. For his career, he compiled a 6-7 record in 14 appearances, with a 2.39 earned run average and 20 strikeouts. He was born in Cranston, Rhode Island and died in Lewiston, Maine.
Document 11: 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 12: 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
Document 13: Roy Oswalt: Roy Oswalt (; born August 29, 1977) is a former American professional baseball pitcher who played for the majority of his career with the Houston Astros. He also played for the Philadelphia Phillies, the Texas Rangers, and the Colorado Rockies.
Document 14: 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 15: 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.
ground_truth: Red Sox
sub_queries: Roy Thomas >> member of sports team Answer: Houston Astros
who did Houston Astros play in the playoffs Answer: Red Sox