with a max altitude more than or equal to 12000.0, and belonging to the same classification as cirrus clouds, which cloud is this?
(AND meteorology.cloud (AND (JOIN meteorology.cloud.classification (JOIN (R meteorology.cloud.classification) m.0cs96)) (le meteorology.cloud.maximum_altitude_m 12000.0^^http://www.w3.org/2001/XMLSchema#float)))