what service hosts videos of a duration shorter than 2525.0?
(AND tv.video_host (JOIN (R tv.video.service) (le tv.video.duration 2525.0^^http://www.w3.org/2001/XMLSchema#float)))