predicate_law