Class Predicate<T,​C extends Term>