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