the lighthouse with light color range greater than 9.0 is what shape?
(AND architecture.tower_shape (JOIN (R architecture.lighthouse.tower_shape) (JOIN (R architecture.light_color_range.lighthouse_having_color_ranges) (ge architecture.light_color_range.light_range 9.0^^http://www.w3.org/2001/XMLSchema#float))))