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