what type of cloud belongs in the same classification is contrails and has a maximum altitude greater than or equal to 12000.0?
(AND meteorology.cloud (AND (JOIN meteorology.cloud.classification (JOIN (R meteorology.cloud.classification) m.0csfb)) (le meteorology.cloud.maximum_altitude_m 12000.0^^http://www.w3.org/2001/XMLSchema#float)))