ormap
ormap : ((x -> boolean) (listof x) -> boolean)
purpose:
(ormap p (list x-1 ... x-n)) = (or (p x-1) (and ... (p x-n)))
Intermediate Student Language