Describir: Characterization of unknown values with implicit predicate.