roque de los muchachos classifies which mountain group?
(AND geography.mountain_listing (JOIN geography.mountain_listing.mountains m.03pvcz))