what is the lighthouse called that has a height of light no larger than 30.0?
Entity Entity Entity Entity
m.025x9wb m.02z111d m.0gslr0 m.0dkfmjm
Bathurst Lighthouse Pencarrow Head Lighthouse The Graves Light Frailes del Sur
class literal
architecture.lighthouse 30.0^^http://www.w3.org/2001/XMLSchema#float
architecture.lighthouse type.float
Lighthouse 30.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 <= "30.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 30.0^^http://www.w3.org/2001/XMLSchema#float))