Defeasible_reasoning loading ...