symbolic_reasoning
