Added partial Inference system