Scieneer Common Lisp 1.3.9 online documentation

notevery predicate first-sequence &rest more-sequences[Function]

The predicate is applied to the elements with index 0 of the sequences, then possibly to those with index 1, and so on. notevery returns t as soon as any invocation of predicate returns (), or () if every invocation is non-().