Statistics for KLM-Style Defeasible Reasoning for Datalog