Question: How many Tony Awards does the man who wrote music for the 56th Disney animated feature film have?

Context paragraphs:
Fantasia 2000: Fantasia 2000 is a 1999 American animated film by Walt Disney Feature Animation and Walt Disney Pictures, and released by Buena Vista Pictures.  Produced by Roy E. Disney and Donald W. Ernst, it is the 38th Disney animated feature film and the sequel to "Fantasia" (1940).  Like its predecessor, "Fantasia 2000" consists of animated segments set to pieces of classical music.  Celebrities including Steve Martin, Itzhak Perlman, Quincy Jones, Bette Midler, James Earl Jones, Penn & Teller, and Angela Lansbury introduce each segment in live action scenes directed by Don Hahn.

Hercules (1997 film): Hercules is a 1997 American animated musical fantasy comedy film produced by Walt Disney Feature Animation for Walt Disney Pictures.  The 35th Disney animated feature film, the film was directed by Ron Clements and John Musker.  The film is loosely based on the legendary hero Heracles (known in the film by his Roman name, Hercules), the son of Zeus, in Greek mythology.  The film also featured the first positive portrayal of African American women in a Disney animated film.

Lin-Manuel Miranda: Lin-Manuel Miranda ( ; born January 16, 1980) is an American composer, lyricist, playwright, and actor best known for creating and starring in the Broadway musicals "Hamilton" and "In the Heights".  He co-wrote the songs for Disney's "Moana" soundtrack (2016) and is set to star in their upcoming film "Mary Poppins Returns".  Miranda's awards include a Pulitzer Prize, two Grammy Awards, an Emmy Award, a MacArthur Fellowship, and three Tony Awards.

The Hunchback of Notre Dame (1996 film): The Hunchback of Notre Dame is a 1996 American animated musical drama film produced by Walt Disney Feature Animation for Walt Disney Pictures.  The 34th Disney animated feature film, the film is based on Victor Hugo's novel of the same name.  The plot centers on Quasimodo, the deformed bell-ringer of Notre Dame, and his struggle to gain acceptance into society.  Directed by Kirk Wise and Gary Trousdale and produced by Don Hahn, the film's voice cast features Tom Hulce, Demi Moore, Tony Jay, Kevin Kline, Paul Kandel, Jason Alexander, Charles Kimbrough, David Ogden Stiers, and Mary Wickes in her final film role.

Dinosaur (film): Dinosaur is a 2000 American CGI animated adventure film produced by Walt Disney Feature Animation and The Secret Lab and released by Walt Disney Pictures.  It is the 39th Disney animated feature film and Disney's The Secret Lab computer animated feature, though it is not officially labeled as one of the animated classics in the United Kingdom, where "The Wild" (2006) is included in the canon instead.

Lady and the Tramp: Lady and the Tramp is a 1955 American animated romantic musical comedy-drama film produced by Walt Disney and released to theaters on June 22, 1955 by Buena Vista Distribution.  The 15th Disney animated feature film, it was the first animated feature filmed in the CinemaScope widescreen film process.  Based on "Happy Dan, The Whistling Dog" by Ward Greene, "Lady and the Tramp" tells the story of a female American Cocker Spaniel named Lady who lives with a refined, upper-middle-class family, and a male stray mongrel called the Tramp.  When the two dogs meet, they embark on many romantic adventures.  A direct-to-video sequel, "", was released in 2001.

Peter Pan (1953 film): Peter Pan is a 1953 American animated adventure film produced by Walt Disney and based on the play "Peter Pan, or The Boy Who Wouldn't Grow Up" by J. M. Barrie.  It is the 14th Disney animated feature film and was originally released on February 5, 1953, by RKO Radio Pictures.  "Peter Pan" is the final Disney animated feature released through RKO before Walt Disney's founding of his own distribution company, Buena Vista Distribution, later in 1953 after the film was released.  "Peter Pan" is also the final Disney film in which all nine members of Disney's Nine Old Men worked together as directing animators.  It is also the second Disney animated film starring Kathryn Beaumont, Heather Angel, and Bill Thompson after their roles in the animated feature "Alice in Wonderland".

The Sword in the Stone (film): The Sword in the Stone is a 1963 American animated musical fantasy comedy film produced by Walt Disney and released by Buena Vista Distribution.  The 18th Disney animated feature film, it was the final Disney animated film to be released before Walt Disney's death.  The songs in the film were written and composed by the Sherman Brothers, who later wrote music for other Disney films like "Mary Poppins" (1964), "The Jungle Book" (1967), "The Aristocats" (1970), and "Bedknobs and Broomsticks" (1971).

Moana (2016 film): Moana ( ) is a 2016 American 3D computer-animated musical fantasy-adventure film produced by Walt Disney Animation Studios and released by Walt Disney Pictures.  It is the 56th Disney animated feature film.  Directed by Ron Clements and John Musker, co-directed by Don Hall and Chris Williams, the film introduces Auli'i Cravalho as Moana and features the voices of Dwayne Johnson, Rachel House, Temuera Morrison, Jemaine Clement, Nicole Scherzinger, and Alan Tudyk.  The film features music written by Lin-Manuel Miranda, Opetaia Foa'i, and Mark Mancina.

Tarzan (1999 film): Tarzan is a 1999 American animated drama adventure film produced by Walt Disney Feature Animation for Walt Disney Pictures.  The 37th Disney animated feature film and the last film produced during the Disney Renaissance era, it is based on the story "Tarzan of the Apes" by Edgar Rice Burroughs, and is the first animated major motion picture version of the "Tarzan" story.  Directed by Chris Buck and Kevin Lima with a screenplay by Tab Murphy, Bob Tzudiker, and Noni White, "Tarzan" features the voices of Tony Goldwyn, Minnie Driver, Glenn Close, and Rosie O'Donnell with Brian Blessed, Lance Henriksen, Wayne Knight, and Nigel Hawthorne.

Supporting paragraphs: Moana (2016 film) Lin-Manuel Miranda
Answer: three