which cloud, with a maximum altitude more than or equal to 5000.0, belongs to the same classification as altocumulus castellanus?
(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)))