of roller coasters, which have a capacity of 1000 and last less than 173.0?
(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)))