predicate_reflection(1).