predicate, checked to be in the vocabulary of an access restriction; an IllegalArgumentException if not.