Reasoning_system loading ...