what is the lighthouse called that has a height of light no larger than 53.0?
Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity
m.02ymvk m.025x9wb m.02z111d m.0cbs4qy m.0dkfnkv m.0gslr0 m.0n21lbb m.0dkfmjm m.0gwhnkg m.0dkfnbn
Portland Head Light Bathurst Lighthouse Pencarrow Head Lighthouse Cabo Raso Isla Bona Lighthouse The Graves Light Scurdie Ness Lighthouse Frailes del Sur Bardsey Island Lighthouse Punta Mala lighthouse
class literal
architecture.lighthouse 53.0^^http://www.w3.org/2001/XMLSchema#float
architecture.lighthouse type.float
Lighthouse 53.0
none <=
architecture.lighthouse.focal_height_of_light
Focal height of light
PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#> PREFIX : <http://rdf.freebase.com/ns/> 
SELECT (?x0 AS ?value) WHERE {
SELECT DISTINCT ?x0  WHERE { 
?x0 :type.object.type :architecture.lighthouse . 
FILTER (?x1 <= "53.0"^^<http://www.w3.org/2001/XMLSchema#float>)
?x0 :architecture.lighthouse.focal_height_of_light ?x1 . 
FILTER ( ?x0 != ?x1  )
}
}
(AND architecture.lighthouse (le architecture.lighthouse.focal_height_of_light 53.0^^http://www.w3.org/2001/XMLSchema#float))