Question: José Mário Sperry, a Brazilian heavyweight mixed martial artist, trained a retired Brazilian mixed martial artist who in submission wrestling, he holds an undefeated record of what?

Context paragraphs:
Wallid Ismail: Wallid Farid Ismail (born February 23, 1968) is a Brazilian mixed martial artist and promoter.  Ismail holds a black belt in Brazilian jiu-jitsu (BJJ) under Carlson Gracie, and is an IVC mixed martial arts world champion and BJJ Champion.  In mixed martial arts, Ismail also competed for the UFC, and PRIDE, and most of wins in the sport came by way of submission.

Mário Sperry: José Mário Sperry (born September 28, 1966) is a Brazilian heavyweight mixed martial artist.  His specialty is Brazilian jiu-jitsu, grappling and ground fighting.  He is also one of the founders of the Brazilian Top Team, where he trained fighters such as Antônio Rodrigo Nogueira, Antônio Rogério Nogueira, Ricardo Arona, and Paulo Filho, among others.

Mário Neto: Mário Neto, known as Sukata (born 1974 in Brasília, Brazil) is a Brazilian mixed martial artist with a record of 12-5.  He is now in his 15th year as a mixed martial artist with a victory over UFC veterans Seth Petruzelli, Travis Fulton and Gary Goodridge.  Neto last defeated Dave Keeley by submission due to a guillotine choke at RFC - Recife Fighting Championship 5 in 2011.

Rani Yahya: Rani Ahmad Yahya (born September 12, 1984) is a Brazilian mixed martial artist and BJJ practitioner.  Yahya was born to a Syrian father and Brazilian mother.  He won the 66 kg division of the prestigious ADCC Submission Wrestling World Championship in April 2007.  He currently fights in the Bantamweight division of the Ultimate Fighting Championship.

Roberto Traven: Roberto "Spider" Traven (born September 16, 1968) is a retired Brazilian mixed martial artist whose fighting style is based in Brazilian Jiu-Jitsu and submission wrestling.  He was a sporty person growing up, it took him 16 years to find Brazilian Jiu Jitsu, but straight away he picked up tuition with one of the most highly decorated coaches of all time, Romero Cavalcanti AKA “Jacaré”.  His natural ability for BJJ was clear from the get-go and the fact that he was obstinate made a recipe for a good fighter.  Training 3 times per day alongside other historical figures such as Fabio Gurgel, Leo Vieira, Jamelão and many others, Traven managed to reach the grade of black belt within 4 years, an almost record breaking time frame in BJJ.

John-Olav Einemo: John-Olav Einemo (born 10 December 1975) is a retired Norwegian mixed martial artist.  He is also a Brazilian Jiu-Jitsu practitioner, with the highlight of his career being the win in the ADCC Submission Wrestling World Championship in 2003 (88–98 kg weight class).  He is the only man to defeat multiple-time BJJ champion Roger Gracie in the ADCC Submission Wrestling World Championship tournament.  He holds a black belt in Brazilian Jiu-Jitsu.

Rodrigo Gracie: Rodrigo Gracie (born March 11, 1975) is a retired Brazilian mixed martial artist and Brazilian Jiu-Jitsu practitioner.  A member of the famous Gracie family, Rodrigo is a 5th Degree Black Belt in Gracie Jiu-Jitsu and a Gold Medalist in the 1998 ADCC Submission Wrestling World Championship.  While competing in PRIDE Fighting Championships, Gracie was ranked amongst the top Middleweight fighters from 2003 to 2004 due to an undefeated streak with consecutive victories over Hayato Sakurai, Daiju Takase, Yuki Sasaki, and Daijiro Matsui.

Murilo Rua: Murilo "Ninja" Milani Rua (] ; born May 22, 1980) is a retired Brazilian mixed martial artist who fought in Pride Fighting Championships.  He is the older brother of former UFC Light Heavyweight Champion Mauricio "Shogun" Rua.  He is known for his aggressive Muay Thai style.  Rua is a veteran of Pride Fighting Championships, where he once enjoyed a reputation as one of the best middleweights in the world.  Rua regularly fought at 185 pounds, but has also fought at 205 pounds and heavyweight.  He is the former (and first ever) EliteXC Middleweight Champion.  He also had a successful career in mixed martial arts in England appearing on both Cage Rage and BAMMA cards.  He is of Portuguese and Italian descent, but was born in Brazil.

Robin Gracie: Robin Gracie is a Brazilian professional mixed martial artist and Brazilian Jiu-Jitsu practitioner.  Robin is the youngest son of Hélio Gracie.  He currently resides in Barcelona and runs the official Gracie Jiu-Jitsu Academy of Spain and teaches seminars throughout Europe and North America.  He was a Vale Tudo competitor and was a 1998 ADCC Submission Wrestling World Championship Silver Medalist.  Robin was trained by his father Hélio, and his brothers Royler Gracie, Rolker Gracie and Royce Gracie.  Robin is also notable for a widely published no holds barred fight he took within his own academy, in what was part of one of the first "Gracie Challenge", against French journeyman fighter and black belt in BJJ, Damien Riccio in 2001.

Ricardo Arona: Ricardo Arona (] ; born July 17, 1978) is a retired Brazilian mixed martial artist.  He has competed in PRIDE Fighting Championships and RINGS in his mixed martial arts career, and was a member of Brazilian Top Team.  He is the former RINGS Middleweight Champion, as well as the 2001 RINGS Middleweight Championship Tournament Winner, and 2005 PRIDE Middleweight Grand Prix Runner-Up.  In submission wrestling, he holds an undefeated record of 13-0, never losing a single point in a match, and is a three-time ADCC Champion.  He has notable wins in both MMA and submission grappling competition over Tito Ortiz, Jeff Monson, Renato Sobral, Vitor Belfort, Mark Kerr, Kazushi Sakuraba, Wanderlei Silva, Dan Henderson, Alistair Overeem, Murilo Rua, Jeremy Horn, Guy Mezger, and Dean Lister.

Supporting paragraphs: Mário Sperry Ricardo Arona
Answer: 13-0