with a maximum altitude that is greater than or equal to 12000.0, which cloud belongs to the identical categorization as cirrocumulus?
(AND meteorology.cloud (AND (JOIN meteorology.cloud.classification (JOIN (R meteorology.cloud.classification) m.01685p)) (le meteorology.cloud.maximum_altitude_m 12000.0^^http://www.w3.org/2001/XMLSchema#float)))