hi:predicate