which is the shape of the lighthouse with light color range over 13.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 13.0^^http://www.w3.org/2001/XMLSchema#float))))