Recent works have extended notions of feature importance to \emph{semantic
concepts} that are inherently interpretable to the users interacting with a
black-box predictive model. Yet, precise statistical guarantees, such as false
positive rate control, are needed to communicate finding