what is the number of amusement rides that are themed seven dwarfs mine train?
(COUNT (AND amusement_parks.ride_theme (JOIN (R amusement_parks.ride.theme) m.0gjbmmx)))