Combining Predicate and Functor Relevance

Intuition

Definition