what theme park ride descends mondial?
(AND amusement_parks.ride (JOIN amusement_parks.ride.manufacturer m.02z37nh))