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