Premise: Aladdin is a musical based on the 1992 Disney animated film of the same name with music by Alan Menken and lyrics by Howard Ashman, Tim Rice and Chad Beguelin. Beguelin also wrote the book. The musical includes three songs written for the film by Ashman but not used there and four new songs written by Menken and Beguelin.
Hypothesis: The new songs for the musical were written after the movie came out.