which roller coasters last less than 145.0 and have a capacity of 1500?
(AND amusement_parks.roller_coaster (AND (le amusement_parks.ride.duration 145.0^^http://www.w3.org/2001/XMLSchema#float) (JOIN amusement_parks.ride.capacity 1500^^http://www.w3.org/2001/XMLSchema#integer)))