 Predicate functors are not applicable to each other—unlike the combinators are. This is a point that Quine repeatedly emphasizes. Atomic predicates are the predicates of a first-order language, whereas complex predicates are obtained by applying a predicate functor (of appropriate arity) to predicates (which may be atomic or complex).