Takes any number of predicate functions and returns a test that, for a certain input, will return T if any of the predicates return T for the same input, or NIL if all the predicates return NIL.