what type of cloud belongs in the same classification is contrails and has a maximum altitude greater than or equal to 12000.0?
Entity Entity
m.016864 m.01685p
Cirrostratus Cirrocumulus
class class literal entity
meteorology.cloud meteorology.cloud_classification 12000.0^^http://www.w3.org/2001/XMLSchema#float m.0csfb
meteorology.cloud meteorology.cloud_classification type.float meteorology.cloud
Cloud Cloud classification 12000.0 contrails
none none <= none
meteorology.cloud.classification meteorology.cloud.maximum_altitude_m meteorology.cloud.classification
Classification Maximum Altitude Classification
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX : <http://rdf.freebase.com/ns/> 
SELECT (?x0 AS ?value) WHERE {
SELECT DISTINCT ?x0  WHERE { 
?x0 :type.object.type :meteorology.cloud . 
?x1 :type.object.type :meteorology.cloud_classification . 
FILTER (?x2 <= "12000.0"^^<http://www.w3.org/2001/XMLSchema#float>)
VALUES ?x3 { :m.0csfb } 
?x0 :meteorology.cloud.classification ?x1 . 
?x0 :meteorology.cloud.maximum_altitude_m ?x2 . 
?x3 :meteorology.cloud.classification ?x1 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x0 != ?x3 && ?x1 != ?x2 && ?x1 != ?x3 && ?x2 != ?x3  )
}
}
(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)))