(titles-of-movies-satisfying database predicate) Ex: (titles-of-movies-satisfying our-movie-database (lambda (movie) (= (movie-year-made movie) 1974)) ⇒ ((amarcord))