Predicate composition demo