Class ReasoningImpl