1)inductive interpretation,归纳解释2)variation explained by regression,回归所解释变差3)inductive teaching method with tables,表解归纳教学法4)normalized grads method,归一化总梯度解释法5)interpretation of a reduction rule program,归约规则程序的解释6)interpreter for reduction rules,归约规则的解释程序