what is the name of the cloud that has a maximum altitude of 15000.0?
(AND meteorology.cloud (JOIN meteorology.cloud.maximum_altitude_m 15000.0^^http://www.w3.org/2001/XMLSchema#float))