SEARCH Articles Figures Tables Automatic programming Deductibles Deduction Deductive Deductive inferences Inference Inferences deduction