Predicated is a simple predicate model for Ruby.   It provides useful predicate transformations and operations.