Default_reasoning loading ...