Predicate composition example