Reasoning_system