DDC.Type.Exp.Generic.Predicates