define predicateMatcher