of roller coasters, which have a capacity of 1000 and last less than 173.0?
Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity Entity
m.0123nd78 m.0dtg_0 m.034_8z m.06t7hy m.02699jp m.0g9c2p m.027xqkj m.02pp0hp m.0d5cr9 m.0d8mmj m.0f48wz m.0wyxkvd m.06sr20 m.0j7nch9 m.0f8kq7 m.0dzxv_ m.0cc584b m.07jxys
Baron 1898 Viper Top Thrill Dragster Wicked Twister Powder Keg: A Blast into the Wilderness Backlot Stunt Coaster Pepsi Orange Streak Mystery Mine Nemesis Inferno Nighthawk Magic Mountain Goliath Whizzer The Smiler La Vibora Wile E. Coyote Canyon Blaster Road Runner Rollercoaster Dodonpa
class literal literal
amusement_parks.roller_coaster 173.0^^http://www.w3.org/2001/XMLSchema#float 1000^^http://www.w3.org/2001/XMLSchema#integer
amusement_parks.roller_coaster type.float type.int
Roller Coaster 173.0 1000
none <= none
amusement_parks.ride.duration amusement_parks.ride.capacity
Duration Capacity (riders per hour)
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 :amusement_parks.roller_coaster . 
FILTER (?x1 <= "173.0"^^<http://www.w3.org/2001/XMLSchema#float>)
VALUES ?x2 { "1000"^^<http://www.w3.org/2001/XMLSchema#integer> } 
?x0 :amusement_parks.ride.duration ?x1 . 
?x0 :amusement_parks.ride.capacity ?x2 . 
FILTER ( ?x0 != ?x1 && ?x0 != ?x2 && ?x1 != ?x2  )
}
}
(AND amusement_parks.roller_coaster (AND (le amusement_parks.ride.duration 173.0^^http://www.w3.org/2001/XMLSchema#float) (JOIN amusement_parks.ride.capacity 1000^^http://www.w3.org/2001/XMLSchema#integer)))