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