predicateDemo: predicate谓词