Inference Specifications