Context_1 : Stephen Randall Thompson (born February 11, 1983) is an American professional mixed martial artist and former professional full-contact kickboxer who currently fights as a welterweight in the Ultimate Fighting Championship. Thompson is undefeated through 37 amateur and 57 professional kickboxing matches, with 40 wins by knockout. He is currently #1 in official UFC welterweight rankings and ranked as the #2 welterweight in the world by Sherdog. He has trained with former UFC Welterweight Champion Georges St-Pierre and currently trains with his brother in law, former UFC Middleweight Champion Chris Weidman. Context_2 : The Machado Family—also known as the Machado Brothers—are a family of Brazilian jiu-jitsu practitioners, mixed martial artists and grapplers. They are the founders of RCJ Machado Brazilian Jiu-Jitsu and are cousins to members of the Gracie family. Their familial ties to the Gracies are through their mother's sister Layr, who was married to Carlos Gracie, making them first cousins to Carlos Gracie, Jr. and his siblings, and affinal cousins to the rest of the second generation of Gracie martial artists. Along with their Gracie cousins, the Machados are pioneers of Brazilian Jiu-Jitsu in the United States. They are according to age, Carlos, Roger, Rigan, Jean Jacques and John. The Machados have opened Brazilian jiu-jitsu schools throughout the United States. Context_3 : Saul Almeida (born June 4, 1989) is a Brazilian-American professional mixed martial artist currently competing in the featherweight division for the World Series of Fighting. A professional mixed martial artist since 2008, Almeida has also formerly competed for Bellator. Context_4 : Patrick "Pat" Healy (born July 20, 1983) is an American professional mixed martial artist currently competing in the Lightweight division of Titan FC. A professional competitor since 2001, Healy has also formerly competed for the UFC, Strikeforce, the WEC, the IFL, the MFC, King of the Cage, ACB and Shark Fights. His twin brother, Ryan, is also a professional mixed martial artist. Context_5 : Shannon Grey Ritch (born September 27, 1970) is an American professional mixed martial artist, boxer, professional wrestler and kickboxer, known for being the former Gladiators Challenge Heavyweight Champion and KOTC Middleweight Champion also current RUF Interim Heavyweight Champion and IFC Middleweight Champion. A professional competitor since 1998, Ritch has competed for the MFC, Pancrase, K-1, PRIDE, Rebel Fighting Championship, King of the Cage and the WEC. Ritch has also has been featured in two episodes of Walker, Texas Ranger as a Biker Gang Member and a character named Knight, Choke in 2011 as an extra, CSI Las Vegas as Thug #2, an episode of iCarly as a MMA Fighter, an episode of Numbers in 2010, an episode of Ultimate Soldier Challenge on the History Channel representing a military contracting company and most recently in 2017 the direct to DVD film, directed by Robert Parham, Bullets, Blades and Blood and upcoming in 2018 No Way Out directed by Jeffrey D. Parker. Shannon claims he has over 200 professional MMA fights 112 wins, 88 losses and 2 draws, some fights going undocumented and dating back as far as 1991. His documented record of fights goes back to 1998 with a record of 56 wins, 81 loses, and 4 draws. Shannon also holds a 2-1 record in professional boxing and a 25-2 record in bare knuckle boxing with all of his wins coming by way of knockout, in 2017 he was inducted into the Bare Knuckle Boxing Hall of Fame and also plans to round out his boxing career in 2018 against boxing superstar Bobby Gunn. Ritch is also an occasional professional wrestler, recently in mid 2017 main eventing a card in Guyana. Shannon has also found success as a grappler winning multiple NAGA, Grapplers Quest and Abu Dhabi Combat Club competitions, most recently winning a gold medal in the super heavyweight division at the Grand Canyon 2017 BJJ Open in Arizona and a silver medal at the '17 Arizona State BJJ Championships. Ritch is also an avid golf player, winning 1st place in many state and pro am competitions held within his native Arizona as recent as 2017. Context_6 : Travis Lutter (born May 12, 1973) is a retired American mixed martial artist who won "The Ultimate Fighter 4" reality show. He is a black belt in Brazilian Jiu-Jitsu under Carlos Machado. Context_7 : Akihiko Adachi (安達 明彦 , Adachi Akihiko ) is a Japanese light heavyweight mixed martial artist. Adachi was born in Sapporo, Hokkaido, Japan. He fought as a professional mixed martial artist from Paraesta Matsudo in Matsudo, Chiba Prefecture beginning in 2000. Adachi was the top amateur Shooto light heavyweight in 2002, and was named the Shooto cruiserweight rookie of the year in 2003. Adachi's last bout was in 2006 and he formally retired from mixed martial arts in 2008. Context_8 : Gustavo Machado is a Brazilian professional mixed martial artist who has competed for the International Fight League, Shooto, DEEP, RINGS, Pancrase and King of the Cage promotions. Machado was also briefly a member of the IFL New York Pitbulls. Context_9 : Carlos Machado (born November 9, 1963) is an ex world master's champion in Brazilian jiu-jitsu (BJJ) born in Rio de Janeiro, Brazil. He is the eldest of the five Machado Brothers, known for BJJ, that also includes Roger, Rigan, Jean Jacques and John. He is also the brother-in-law of UFC fighter Stephen Thompson. He currently runs BJJ schools across the United States, Australia, Canada and Mexico. Context_10 : Lee Hasdell (born 13 December 1966) is a British martial artist, promoter and former professional kickboxer and mixed martial artist. Hasdell is considered by many as a true pioneer of UK mixed martial arts, as he was the main driving force and innovator in the 1990s. Hasdell promoted the first professional Mixed martial arts events in the United Kingdom and has helped develop many of the standards within the British MMA scene of today. fact_1 : Carlos Machado (born November 9, 1963) is an ex world master's champion in Brazilian jiu-jitsu (BJJ) born in Rio de Janeiro, Brazil. fact_2 :  He is also the brother-in-law of UFC fighter Stephen Thompson. fact_3 : Stephen Randall Thompson (born February 11, 1983) is an American professional mixed martial artist and former professional full-contact kickboxer who currently fights as a welterweight in the Ultimate Fighting Championship. fact_4 :  Thompson is undefeated through 37 amateur and 57 professional kickboxing matches, with 40 wins by knockout. Question: Carlos Machado is the brother-in-law of a professional mixed martial artist with how many wins by knockout?
Output: 40