type explanation for Earley deduction