Inference Property