Just realised that Super Mario Bros and Jurassic Park have followed the same naming convention with their franchises.
Super Mario Bros / Jurassic Park
Super Mario Bros: The Lost Levels / Jurassic Park: The Lost World
Super Mario Bros 3 / Jurassic Park 3
Super Mario World / Jurassic World
What I’m saying is I’m very excited about the prospect of Jurassic Galaxy
OH MY GOD