Inferring specific consequences from general models.

See Induction and Transduction also