updated inference_rules