Definition of an Inference