what shape is the lighthouse with light color ranve over 15.0?
(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 15.0^^http://www.w3.org/2001/XMLSchema#float))))