automated_reasoning