Quantifiers

On the rental contract for the car Andy and I had in Bellingham, it said:

This car may not be used by anyone who has not signed the rental contract, nor by anyone who has consumed alcohol or drugs.

Which was too bad, since the only people who operated the car had consumed alcohol and drugs. Not immediately before using the car to be sure. (Or at least not in any significant quantity immediately before using the car.) Some people need to be a little clearer about their quantifier domain restrictors I expect.

While on that, is it part of the semantics or part of the pragmatics that it’s impossible to read (1) with the universal quantifier over times having wide scope?

(1) There is a light that never goes out.

For that matter, is it impossible? I couldn’t find a reading, but maybe it’s there.

And why can’t we make the universal quantifier in (2) range only over songs Andy likes.

(2) Andy’s MP3 player contains every song ever recorded in the history of the world.

In principle I would have thought that could be true provided the tacit restriction on ‘every’ was something like ‘songs that Andy likes’. (The statement sort of is true with that restriction – it’s a very cool MP3 player.) But it’s very hard to have it read that way I think!