loose predicate evaluation - v1