16.14.Inference Rules & Reasoning