Inductive predicate