Some observations on induction in predicate probabilistic reasoning