closed data predicates